PropeEr based testing for test.check on clojure