Add a high-resolution virtual (CPU-time) timer to the API, analogous to the high-resolution timer based on elapsed time in bug 4478186.