All QVM functionality should be wrapped with a call to `qvm:with-random-state` which takes a integer seed.
All QVM functionality should be wrapped with a call to
qvm:with-random-statewhich takes a integer seed.