Add tests specifically testing 63+sign-bit boundary cases.
Note: Most arithmetic opcodes were not tested so well before this diff, therefore there's a lot of additions.
Partial backport of [[ https://github.com/givelotus/lotusd/pull/71 | lotusd#71 ]].
Depends on D18460.