Thread pool

Also written: ThreadPoolExecutor

A group of worker threads that run jobs at the same time. `evaluate` uses a pool of 8 to run attack cases concurrently and keep the wait short.