For #39, reorganizing/updating README
For #39, reorganizing/updating README

-- Describe some mitigation strategies for combinatorial behavior of Theories
runner with ForAll-supplied parameters: sampleSize, parameter object

pholser/junit-quickcheck