Added verification step to testing section.

We would like to show that DISTRESS will indeed keep the integrity of the inserted files.