feat(rt): Handle interior mutability during writeback#810

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

jh/interior-mutruntimeverification/mir-semantics:jh/interior-mutCopy head branch name to clipboard