You're asserting properties, so IMO this meets the definition of PBTs ("every node of level greater than one has two children").

However, depending on the lib, you can get some nice quality of life improvements. One "nice to have" is shrinking. See the "Shrinking" section here https://tech.fpcomplete.com/blog/quickcheck-hedgehog-validit...

Having combinators to compose generators is also great.

Libs may also have a known set of "bad" values that cause exceptional behavior.