Check sign of primop constants where appropriate (#1431)

* Backport #1421 to 1.2.x (BPSh_ instead if IncP/DecP)

* Avoid IndexOutOfBoundsException when Bits has too few consts

* Check for negative consts in all relevant primops

* Use BigInt for all checks on primop constants