Add OCHamcrest so that example is self-contained
Remove +verifier factory methods; no longer important in ARC