Added location reporting to verify.
Added a few macros to create mock objects.
Reporting ignored exceptions at verify location.