Verifying interactions and ignoring stubbed methods