Emit valid VCD files

Well, I don't actually know if they're valid VCD files, but they make
it through vcddiff so that's good enough for me to go home.