Naive solution to verified spies issue.
Support verifying negative spy matches.