Add high-resolution timekeeping functions (primarily for benchmarking).