Add loop_invariants for some Int power functions#327

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

thanhnguyen-aws:addvariantthanhnguyen-aws/verify-rust-std:addvariantCopy head branch name to clipboard