A bunch of LLM-generated contracts#451

tautschnig merged 11 commits intomodel-checking:mainmodel-checking/verify-rust-std:mainfrom

vonaka:llm_contracts_failvonaka/verify-rust-std:llm_contracts_failCopy head branch name to clipboard