feat(rt): support round-trip transmute bytes <> u64 casts#804

automergerpr-permission-manager[bot] merged 8 commits intomasterruntimeverification/mir-semantics:masterfrom

jh/int-bytes-castruntimeverification/mir-semantics:jh/int-bytes-castCopy head branch name to clipboard