Add loop invariant and harness for `repeat`#468

thanhnguyen-aws wants to merge 16 commits intomodel-checking:mainmodel-checking/verify-rust-std:mainfrom

thanhnguyen-aws:repeatinvariantthanhnguyen-aws/verify-rust-std:repeatinvariantCopy head branch name to clipboard