Unique constraint verification: Use document frequency

This is provided directly by lucene so we don't need to maintain an
external term counter.