add functions for checked arithmetic

TODO: `mrb_int_mul_overflow` for `MRB_INT64`?