Use high resolution timers in benchmarks (when available)