Not quite there yet. I've found and fixed many bugs in the shrinker, and elsewhere (in simplifyTypes, useless, backend, ...). One of the more serious bugs meant that checkHandlers wasn't actually checking anything. I just fixed that, but now have a bit more work to make sure checkHandlers is actually right. I'm off for the night, but am hopefully now less than one day's work away from shrinker checkin.