ParseEquiv: CI Language-Equivalence Gate for Deterministic Grammars

A CI check that mathematically proves two versions of a deterministic grammar accept exactly the same language, so parser and grammar refactors cannot silently change what they match.