fn ensure_verification_complete( successful: usize, submitted: usize, skipped_external: usize, ) -> Result<()>