Arithmetic underflow/overflow checking for the VM

Is this what you asked for? Have I missed anything?

There really only needs to be one test, but I don't know how to achieve that with the current tester and without the ability to catch exceptions at compile-time.