Method that will add two non-negative integers, and if result overflows, return Integer.MAX_VALUE. For performance reasons, does NOT check for the result being less than Integer.MIN_VALUE, nor whether arguments are actually non-negative. This is usually used to implement overflow-safe bounds checking.