Fixed bugs in quick counting of verified files in dataset and in quick calculation of total size of verified files in dataset. The previous attempt was double-counting for datafiles with multiple DFOs.
Fixed bugs in quick counting of verified files in dataset and in
quick calculation of total size of verified files in dataset.
The previous attempt was double-counting for datafiles with
multiple DFOs.

pansapiens/mytardis,pansapiens/mytardis,pansapiens/mytardis,pansapiens/mytardis