Rewrite ParserExtensionVerificationTest

However, three tests fail. Before it depended on a group, maybe that explains
it.