Challenge 16: Verify the safety of Iterator functions

## Runbook Link

[https://model-checking.github.io/verify-rust-std/challenges/0016-iter.html](https://model-checking.github.io/verify-rust-std/challenges/0016-iter.html)
