Add safety preconditions to core/src/iter/range.rs#331

tautschnig wants to merge 14 commits intomodel-checking:mainmodel-checking/verify-rust-std:mainfrom

tautschnig:iter-range-rs-contractstautschnig/verify-rust-std:iter-range-rs-contractsCopy head branch name to clipboard