Increase sample size in consecutive ?SUCHTHAT attempts

Also remove a redundant invocation of property test via EUnit.
2 files changed