added support for flags for signedWrapHappened and unsignedWrapHappened
added assertions to check that overflows weren't happening when the bytecode instruction forbids it.  Added debugging code.
changed to report overflows via the signedWrapHappened and unsignedWrapHappened flags