Better Shrinking

We can do better with a more deterministic shrinking strategy, but for the example that we have right now it works pretty well in a reasonable amount of time (try `./vendor/bin/phpunit examples/StringTest.php`)