Fix challenge numbers and move to challenges/ dir#22

celinval merged 2 commits into

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

celinval:verify-0000-summarycelinval/rust-dev:verify-0000-summaryCopy head branch name to clipboard