CastI2N transforms a pointer-looking-like integer to a pointer. However, it may be the case that its input is not a narrow oop anymore. This is because the compiler does not recognize it as an oop, so it will not be modified when the object it supposedly points to is relocated, which leads to a dangling pointer. We should emit code in CastI2N to verify that its input is a narrow oop of a proper type.