Do some benchmarking to choose a sensible default number of threads

Right now I just made up a number. I don't think it's worth spending a huge amount of effort trying to tune this right now, but it's probably worth running a few toy microbenchmarks just to see if we've got a plausible order of magnitude.