Removed timing parameter from benchmarks

Benchmarks can be easily profiled even without this parameter, so it was
just an unnecessary complication.