Improve integer shrinking#743

Open

jonaskoelker wants to merge 8 commits intotypelevel:mainfrom

jonaskoelker:improve-integer-shrinking

Commits on Dec 29, 2020

Test that numeric shrinkers are acyclic, via a strict partial order
jonaskoelker
committed

Commits on Dec 30, 2020

Commits on Jul 19, 2021

Merge main into improve-integer-shrinking and fix a trivial conflict
jonaskoelker
committed