fix(printer): recover non-builtin static/vtable alloc typing#131

dkcumming merged 2 commits intomasterruntimeverification/stable-mir-json:masterfrom

codex/static-vtable-alloc-fallbackruntimeverification/stable-mir-json:codex/static-vtable-alloc-fallbackCopy head branch name to clipboard