iter: add `kani` proof for `next_unchecked` (#280)#501

0xllx0 wants to merge 1 commit intomodel-checking:mainmodel-checking/verify-rust-std:mainfrom

0xllx0:model-checking/iter-next-unchecked0xllx0/rust:model-checking/iter-next-uncheckedCopy head branch name to clipboard