This is an expensive step, unfortunately, but it is necessary to verify
that we annotated our fields correctly. The brute force
one-field-at-a-time approach is required due to our extensive caching
and memoization.