Upgrade to clojure.test.check

This includes the move from simple-check to test.check.
first tesst.check test.