correctly encode and validate fully_covers as edges (#58861)
This is a bugfix and code cleanup, since it wasn't properly encoding and
checking for newly "missing"-type backedges `fully_covering` during
verification.
Co-authored-by: Claude <noreply@anthropic.com>
