Moved common functionality for recorder and verifier into shared base class.
Stubs and expectations are modelled explicitly, created by respective recorders.
Better reporting of unimplemented methods.
Refactoring. Reusing verifier in macro state.
Updated to newer version of OCMock.
Refactoring. Moved state up in class hierarchy.