Nice! "testing your test code" is particularly important when dealing with PBT distributions, especially when your generator gets more complicated.

Tyche [0] is another cool tool for addressing the same problem, visualizing the PBT distribution but not making assertions about it.

[0] https://github.com/tyche-pbt/tyche-extension