Add a postcheck section to verify unintended file creation. Remove needless <file> checks in verify section. Renumbering where appropriate.
Currently 1348 to 1354 succeed but a write failure is logged in traceNNNN. Currently 1355 fails, so disabled for now.