Ignore-casing is inconsistent

[bakkot]

e.g. enter S -> A. "Verify" says "A" is in the language of the grammar, but because test cases get lowercased, "A" will not match in the box.

Preferred solution is to respect casing.