update benchmarks for criterion-1.0

The type of <code>defaultMainWith</code> changed. Furthermore, the benchmark's command line options changed a bit as well.