testrunner.py: print thread pool size