[proptest] Implement is_minimal_case#522

matthew-russo wants to merge 1 commit intoproptest-rs:mainproptest-rs/proptest:mainfrom

matthew-russo:477-is-minimal-casematthew-russo/proptest:477-is-minimal-caseCopy head branch name to clipboard