Add some debugging diagnostics related to the number of threads #7