Complete writing all header information and assertFileWrittenFromList

No INSTRUCTIONS test as yet. By inspection it seems to be written
correctly but I'll need to fill in a test here.