New challenge: safety of boxed#525

AlexLB99 wants to merge 4 commits intomodel-checking:mainmodel-checking/verify-rust-std:mainfrom

AlexLB99:boxed-chalAlexLB99/verify-rust-std:boxed-chalCopy head branch name to clipboard