Closes #21527: Add default number of workers to ThreadPoolExecutor. (Claudiu Popa.)