Challenge 22: Verify the safety of `str` iter functions

## Runbook Link

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