Interesting, isn't that also the author of Python's hypothesis?
Yes, hypothesis also does minimization of failed test cases, so it's kind of a similar problem, just a question if what format the data is in and how you invoke your test.