feat: complex return value patterns#2134

mkovaxx wants to merge 17 commits intomainverus-lang/verus:mainfrom

multiple-named-return-valsverus-lang/verus:multiple-named-return-valsCopy head branch name to clipboard