fix(unions): reinterpret payload on field reads#1016

Stevengre wants to merge 2 commits intomasterruntimeverification/mir-semantics:masterfrom

codex/20260403-union-field-accessruntimeverification/mir-semantics:codex/20260403-union-field-accessCopy head branch name to clipboard