test/bench.py: better output formatting.