Increase sample size in consecutive ?SUCHTHAT attempts Also remove a redundant invocation of property test via EUnit.