Modifying Verify method of pact provider to optionally take a provider description and/or provider state to filter the interactions that are verified for debug/isolation purposes