Just checked, and it's already covered in a few places. From existing tests:
valid:
```
["2147483647 -2147483647 ADD", "0 EQUAL"]
["0 -2147483647 MIN", "-2147483647 NUMEQUAL"]
["0 -2147483647 MAX", "0 NUMEQUAL"]
```
invalid:
```
["-2147483648 0 ADD", "NOP", "arithmetic operands must be in range [-2^31...2^31] "]
["-2147483648", "1ADD 1", "Because we use a sign bit, -2147483648 is also 5 bytes"]
```