GitHub #100: Clean up WorkerPool finish (notify_all instead of notify) and other bits