I had written this comment[0] about our pattern here a few months ago and we decided to turn it into a full blog post.
It's crazy how many weird bugs you can detect with such a trivial method.
For applications like a spreadsheet that have a million overlapping features, it's impossible to manually write unit tests for every combination of features, so randomized tests do a lot of heavy lifting.