midje

2016-11-30T10:55:10.000015Z

(tc/quick-check 1000
                (prop/for-all [ [x y z :as  long-triple] (gen/vector gen/nat 3)]
                              ... )) => (comp #{true} :result)

2016-11-30T10:55:52.000016Z

Thats what i'm using, it not ideal, but at least the seed and failing case are printed when it fails