Is time-caching necessary in tor_gettimeofday_cached_monotonic?
Could we instead replace it with reasonably fast time, where reasonably fast is OS-dependent? Or just with tor_gettimeofday()?
Could we instead replace it with reasonably fast time, where reasonably fast is OS-dependent? Or just with tor_gettimeofday()?