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