Make benchmarks run a bit quicker.
Fix stdout test reports to produce proper JSON files.