Fixing unused-binding numbering in the graph verifier.
Orphan-provider detection is flawed, so adding a config option to convert orphan errors to warnings.