Implemented CallVerifier::producedAll() et al.