[64-bit ints] Add 63+sign-bit tests to script_tests.json

Summary:
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 lotusd#71.

Depends on D18460.

Test Plan: ninja check

Reviewers: Fabien, #bitcoin_abc

Reviewed By: Fabien, #bitcoin_abc

Differential Revision: https://reviews.bitcoinabc.org/D18461