For #39, reorganizing/updating README

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