cleanup proptests with *_strat fns#131

Johnnycus merged 2 commits intomasterigneous-labs/inf-1.5:masterfrom

124-cleanup-strategy-centric-test-rewriteigneous-labs/inf-1.5:124-cleanup-strategy-centric-test-rewriteCopy head branch name to clipboard