Fix the statement of well-formedness in the verifier documentation.
Fix the statement of well-formedness in the verifier documentation.

Summary:
In accordance with the schema/storage spec, the verifier checks that
non-ordinal edges have "/" fact names. (This may change with T165).
The verifier's documentation states that it checks for "" fact names
in this condition, which does not reflect reality.

Reviewers: #core_team, fromberger

Reviewed By: #core_team, fromberger

Differential Revision: https://phabricator-dot-kythe-repo.appspot.com/D1046

legrosbuffle/kythe,bzz/kythe,legrosbuffle/kythe,benjyw/kythe,bzz/kythe,benjyw/kythe,benjyw/kythe,legrosbuffle/kythe,legrosbuffle/kythe,benjyw/kythe,kythe/kythe,bzz/kythe,kythe/kythe,kythe/kythe,kythe/kythe,kythe/kythe,kythe/kythe,benjyw/kythe,bzz/kythe,legrosbuffle/kythe,bzz/kythe,benjyw/kythe,kythe/kythe,bzz/kythe,bzz/kythe,benjyw/kythe,kythe/kythe,legrosbuffle/kythe,legrosbuffle/kythe,bzz/kythe,legrosbuffle/kythe,kythe/kythe,bzz/kythe,bzz/kythe,legrosbuffle/kythe,kythe/kythe,bzz/kythe,bzz/kythe,legrosbuffle/kythe,benjyw/kythe,legrosbuffle/kythe,kythe/kythe,benjyw/kythe,benjyw/kythe,benjyw/kythe,benjyw/kythe