A quick demo of how to use test.check in clojure