limit shrinking to visiting a max of 10k nodes
Fix defspec and clojure.test tests