[Verifier] Improve error for cross-module refs