Remove redundant methods in ArithmeticUtils

As has been discussed on the developers' mailing list, the following methods from the class ArithmeticUtils can be removed:

addAndCheck(int, int)
addAndCheck(long, long)
mulAndCheck(int, int)
mulAndCheck(long, long)
subAndCheck(int, int)
subAndCheck(long, long)

And their usages replaced with the following equivalent methods from java.lang.Math:

addExact(int, int)
addExact(long, long)
multiplyExact(int, int)
multiplyExact(long, long)
subtractExact(int, int)
subtractExact(long, long)