Verifier: Update assert message to reflect LangRef

No functionality change, just correcting the assertion message.