Unify MockExecutorPool and SingleThreadedExecutorPool

Consider also to rename SingleThreadedExecutorPool into SynchronousExecutorPool, as that gives a better idea of what the class provides.