Move `prop` to Test.Hspec.QuickCheck
Generalize type of modifyMaxSuccess, etc.