Tidied up interface between mock and recorder.
Removed redundancy in verify methods.
First step towards verify-after-run.
Fix for crash caused by mock used after release.