More deterministic test: always shrinks to 1 but should shrink to 11
Added Shrinker::$goodShrinkConditions
Passing ForAll::antecedentsAreSatisfied as a good shrinking condition
Extracted Shrinker::checkGoodShrinkConditions() private method
Added relevant end2end test