Re-enable calling terminate(vm) for its side effects

(was commented out in dce3569681698ca70edfa306e39dc94a1b1c1025)