Add a flag for vacuity check#2307

pennyannn wants to merge 2 commits into

verus-lang:mainverus-lang/verus:mainfrom

pennyannn:vacuitypennyannn/verus:vacuityCopy head branch name to clipboard