feat(rt): transmute pointer to int#812

Stevengre wants to merge 1 commit intomasterruntimeverification/mir-semantics:masterfrom

jh/pointer2intruntimeverification/mir-semantics:jh/pointer2intCopy head branch name to clipboard