Add contracts for all functions in Alignment#136578

tautschnig wants to merge 3 commits intorust-lang:mainrust-lang/rust:mainfrom

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