fix checked arithmetic intrinsic code, and disable use of it to fix the build

does not yet work for Int128