Add contracts for Layout and Alignment#33

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

tautschnig:layout-contractstautschnig/verify-rust-std:layout-contractsCopy head branch name to clipboard