Refactor bounds checks to avoid ever creating out-of-bounds pointer values, which is technically UB even if not dereferenced.