Add proof_with() and declare_with() builtin functions for ghost/track…#2436

ziqiaozhou wants to merge 4 commits into

mainverus-lang/verus:mainfrom

proof-with-builtinverus-lang/verus:proof-with-builtinCopy head branch name to clipboard