(tc/quick-check 1000
(prop/for-all [ [x y z :as long-triple] (gen/vector gen/nat 3)]
... )) => (comp #{true} :result)
Thats what i'm using, it not ideal, but at least the seed and failing case are printed when it fails