More rigorous threadpool shutdown check
Add specs checking fixed_thread_pool overflow policies