assert that mocked method returns nil if no return value specified
+ improved error messages from verify calls
+ added verify_no_call