Should we introduce property testing? #5512

Is your feature request related to a problem or challenge? Please describe what you are trying to do.
This is actually not a feature, but a question or discussion.

Property testing is a useful tool for us to focus on the properties of objects, without caring about how testing data is generated.
It is tasted like the formal verification.

I am not sure whether we should consider adding it into the Datafusion. My first thought is that it can be applied to Scalar, DataType, Expression but may be not suitable for Plan. In another word, it is more suitable for unit test, maybe.

There is no offical crate for property testing, unfortunately. I find some personal repos, such as:
https://github.com/BurntSushi/quickcheck
https://github.com/proptest-rs/proptest

Actually, this is just a quick mind in my brain. I haven't found a practical way to implement it. But I'd like to hear your opinions.

Describe the solution you'd like

Describe alternatives you've considered

Additional context