Support for subnuw and subnw instruction

subnuw is implemented by verifying that the difference of two
operands is always less than or equal to first operand. This
can also be implemented by zero extending both the operands and
then verifying the N+1th bit of the computed diff. If its 1, then
its an undefined behavior, otherwise not.