Add test for mathjax/MathJax#814.  Fix header so that semantics won't be used in tests unless requested (to avoid having to update all the tree reftests).