Introduce an EXIT_KILLED status to handle & report killed workers.
Move completed? checking into Worker instead of using a separate list.
Correctly summarise all workers, whether they've completed or not.