Added a 'verifyCalled' macro to use when 'verify' is causing trouble.