Add contracts for all functions in `Alignment`#136578

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

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