Tests for spy verifier cardinality.