Update example to use correct namespaces

I think this should be clojure.test.check, not clojure.test.check.core.