Allow expressions in the unpack_or_fail macro.
Tidied up VM#run test a bit.