We built a new library.1

If that was enough of a pitch, check it out here.

If not, let me explain why it matters.

What is property-based testing?

The main2 benefits are:

Shrinking is remarkably useful in practice.

It's a philosophy joke.
There are other benefits too, but these are the ones you notice first.
Shrinking finds the smallest input that triggers the bug. See this post for details.