Hi, I respect you spending the time to blog about property based testing. I think you need to be a little careful stating your opinions as fact, for example stating that property based testing is “very dangerous”.
In my opinion it leads to better and more correct code, more maintainable, and should be used with scenario based tests and consider “first class tests”.
All of the frameworks you have mention *ARE* deterministic, it’s important to understand this, and is a key concept of property based testing.
I think “thinking harder” is a good thing, good design requires thought, large quantities of unmaintainable scenarios is easy, but not necessarily “good”.
I think with a few modifications this would be a great post, although I think we will always differ on opinions on the value of property based tests.