Correct executor shutdown

[mcopik]

Currently, we use repetition limit for executor shutdown, as it helps us with designing benchmarks. However, in real deployment, we should use the normal shutdown signal from the client.

[mcopik]

Also, the manager should look for executor not being shut down and kill it.