Better claim verification reporting. Claims can use clojure.test/is to get better reports.