Vm::_execute() and Vm::_liveCheck can be const now.