8043284: Optimize signed integer comparison
Summary: Folding of BoolNode if input add/sub of CmpI overflows and we can prove that compared value is not in the two resulting ranges. Added test for CmpI and CmpU optimizations.
Reviewed-by: kvn, rbackman, roland