vstd/iter: Add spec for Iterator::find#2480

ziqiaozhou wants to merge 3 commits into

mainverus-lang/verus:mainfrom

iter-findverus-lang/verus:iter-findCopy head branch name to clipboard