Fix enumeration in specification document
Cosmetic changes to the test specs

Also disables display of \todo items.