Use result.boolvalue in BoolResultConstraint
Add 'Add' constraint
Test smaller intervals in bitwise constraint tests

The tests were taking far too long to run.
Add 'Subtract' constraint.