Overflows checks in intrinsics should be refactored

[adpaco-aws]

Overflow checks (for offsets in bytes, for example) are now a common pattern for intrinsics. Refactoring them into helper functions would make the code simpler and possibly be helpful in other places.