Implemented SpyVerifier::producedAll() et al.