Back to 1 thread, since it seems to be about as fast as 4 or 8 and makes
benchmarking more consistent until I figure out concurrency issues.
Also change the default problem to involve more branching.