Better detection of how many tests fails
Better shrinking using Tuple shrink
Merge remote-tracking branch 'origin/better-shrinking'