implemented integer type proof for contract for fn add, sub and offset#6

xsxszab merged 2 commits intoverify/ptr_mutstogaru/verify-rust-std:verify/ptr_mutfrom

verify/ptr_mut_integer_typesstogaru/verify-rust-std:verify/ptr_mut_integer_typesCopy head branch name to clipboard