Changed benchmark to use high_resolution_clock.