Add Kani contracts and harnesses for NonZero (Challenge 12) - #600

Add Kani contracts and harnesses for NonZero (Challenge 12)#600

kasimte wants to merge 5 commits into

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

kasimte:challenge-12-nonzerokasimte/verify-rust-std:challenge-12-nonzeroCopy head branch name to clipboard