Modify tests to adjust for recent PEG changes.

A bunch of non-terminals have been removed from the PEG (not the
grammar); and there is no longer any need for the tests to check for
validity as this is guaranteed by the soundness theorem.