Sync the VeriFast proofs and provide guidance on same#313

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

btj:patch-verifast-proofsbtj/verify-rust-std:patch-verifast-proofsCopy head branch name to clipboard