Check sign of primop constants where appropriate (#1421)

* Avoid IndexOutOfBoundsException when Bits has too few consts

* Check for negative consts in all relevant primops

* Use BigInt for all checks on primop constants