Improve the way in which virtual time is advanced.

Fixes a bug in non-virtual time.