Unique constraint verification: Use document frequency

This is provided directly by lucene so we don't need to maintain an
external term counter.
Merge pull request #1804 from apcj/term-freq

Unique constraint verification: Use document frequency