make_ascii_uppercase/lowercase harnesses#368

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

AlexLB99:ascii_caseAlexLB99/verify-rust-std:ascii_caseCopy head branch name to clipboard