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.
I believe that the code will work fine with older criterion versions, because the <code>defaultMain</code> signature has not changed.