simple-check has moved to become a Clojure contrib project, as test.check.
You can view the old README here.