C-Reduce has a fun concept of "interestingness", the predicate that you are trying to preserve whilst shrinking your program: https://embed.cs.utah.edu/creduce/using/
It's a great term: previously I've used the boring "property under test".
One interesting technique to reduce the review burden in Home Assistant, a project with a large community: ask PR authors to review other PRs!
Screenshot is from