Migrating from theories to properties

• Instead of the Theories runner, with @Theory methods with parameters marked @ForAll, we use the JUnitQuickcheck runner, with @Property methods.
• There are Property.trials() executions of the property, instead of a combinatorial number of executions of a Theory
• Use the @When annotation to control seed and parameter value generation if desired
• You can still mark property parameters with configuration annotations, just like you did with @ForAll theory parameters
• Your generators should work the same as before