Consistency check: make store skipping safer.

Only skip stores that will ultimately be covered.
Simplify inheritance hierarchy and remove implicit coupling
  between caching and non-caching implementations to DiffRecordAccess.