better shrinking and not-infinite-dump generation results in passed tests!