refactor(rt): use frame ids in stack references#1056

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

pr1003-frameid-refactorruntimeverification/mir-semantics:pr1003-frameid-refactorCopy head branch name to clipboard