Clean up the implementations of the various Conv_ opcodes.
Add basic support for checked arithmetic (within JS's capabilities, at least) - issue #156