Upgrade to clojure.test.check

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