added a OneExpectationPerProp trait for ScalaCheck