Merge proptest cleanup from master#150

billythedummy merged 1 commit intov2igneous-labs/inf-1.5:v2from

merge-proptest-cleanupigneous-labs/inf-1.5:merge-proptest-cleanupCopy head branch name to clipboard