Port all viable contracts from verify-rust-std#147148

tautschnig wants to merge 2 commits intorust-lang:masterrust-lang/rust:masterfrom

tautschnig:upstream-contracts/not-alignmenttautschnig/verify-rust-std:upstream-contracts/not-alignmentCopy head branch name to clipboard