the first operand to OP_NUM2BIN (the number that is to be converted into a binary) is special. It is numeric but can be larger than 4 bytes long and minimal encoding is not required. This revision adds a few tests that confirm this behaviour.
- try to squeeze a 3 byte number into a 2 byte binary vector - should generate IMPOSSIBLE_ENCODING error
- convert a 5 byte number into a 5 byte binary - should pass
- convert a 5 byte number into a 6 byte binary - should pass and pad properly
- convert a 5 byte number into a 4 byte binary - should generate IMPOSSIBLE_ENCODING error
- convert a 520 byte number into a binary - should pass
- convert a number that is not minimally encoded - should pass, minimal encoding does not apply to the first operand
- shrink a number that is not minimally encoded - should pass
- use non-minimally encoded number for second operand - should fail, must be minimally encoded
- use 5 byte second operand - should fail, second operand must be <= 4 bytes long