Close Challenges 6 & 14; remove optional correctness work in Challenge 12 - #247

Close Challenges 6 & 14; remove optional correctness work in Challenge 12#247

carolynzech merged 23 commits into

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

thanhnguyen-aws:refinechallengesthanhnguyen-aws/verify-rust-std:refinechallengesCopy head branch name to clipboard