use unerased proxies for associated consts and statics#1793

tjhance merged 1 commit intomainverus-lang/verus:mainfrom

more-consts-by-proxyverus-lang/verus:more-consts-by-proxyCopy head branch name to clipboard