Simplify tests, particularly loading the TeX spec