Refactor Contracts and Harnesses for <*mut T>::add, sub and offset#203

tautschnig merged 39 commits into

model-checking:mainmodel-checking/verify-rust-std:mainfrom

stogaru:verify/ptr_mutstogaru/verify-rust-std:verify/ptr_mutCopy head branch name to clipboard