Always look up verify_dirty literals from offsets by neonloop

Always look up verify_dirty literals from offsets by neonloop

Literals are deduplicated, so there's no guarantee they will be stored
next to each other, even if they're written sequentially. verify_dirty
and get_bounds must use the offsets on each instruction, instead of
assuming values are stored sequentially.

Thanks neonloop for the fix

Co-authored-by: neonloop <neonloop@pm.me>