Add shrunken case to stderr output#631

chrisroberts14 wants to merge 3 commits intoproptest-rs:mainproptest-rs/proptest:mainfrom

chrisroberts14:mainchrisroberts14/proptest:mainCopy head branch name to clipboard