added shutting down of execution service for ProcxyActorsActorSpec