Basic timer for benchmarking and pacing

Implemented a basic timer that uses both the perf counter and rdtsc for
taking time measurements.