unchecked_mul and unchecked_shr proofs#7

Yenyun035 merged 4 commits intoc-0011-core-nums-yenyunw-unsafe-intsrajathkotyal/verify-rust-std:c-0011-core-nums-yenyunw-unsafe-intsfrom

c-0011-core-nums-rajathm-unsafe-intsrajathkotyal/verify-rust-std:c-0011-core-nums-rajathm-unsafe-intsCopy head branch name to clipboard