Modify the coordinator to use a threadpool instead of dynamically spawning threads for each transaction

[maurermi]

The coordinator appears to spend a lot of time creating threads, and it may be worth investigating how the system performs with this overhead removed. I suspect switching to a threadpool will be a useful optimization here.