(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