Finish verifiers for ch5, add some unit tests for ch5 and silence core_test.clj