Fixed construction of verification summary message

Do not apply len() to an iterator, apply it to the collection instead.
This got broken in aaa1bfdc.