Benchmarking automatically with microbenchmark()