Proposal: generalize integer overflow checking to undefined behavior checking

[shaobo-he]

This is related to #646. One of the solutions to #646 is to replace the calls to __ubsan_handle_* functions with assert false. If we do this, wouldn't it make more sense if we allow more undefined behavior checking since UBSan allows a fine-grained selection of UB checks.