Rename current_time to current_virtual_time
Revert back to old timing behavior for now.