Benchmark script improvements

Nothing major:

- don't crash when Bureaucrats is first to run
- stop when we have good results everywhere
- actually write to `tmp`bench.tmp` like it says in the wiki