Challenge 8: Verify safety and sorting correctness of SmallSort#576

Samuelsills wants to merge 5 commits intomodel-checking:mainmodel-checking/verify-rust-std:mainfrom

Samuelsills:challenge-8-smallsortSamuelsills/verify-rust-std:challenge-8-smallsortCopy head branch name to clipboard