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

kasimte wants to merge 1 commit into

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

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