Fix forgotten resizing of depth average files. Add an assertion.
Merge pull request #10 from bangerth/fixes

Fix forgotten resizing of depth average files. Add an assertion.