Added location reporting to verify.
Added a few macros to create mock objects.
Reporting ignored exceptions at verify location.
Casting to fix broken build on Travis.