Module validate

HUGR invariant checks.

Enums

• InterGraphEdgeError
  Errors related to the inter-graph edge validations.
• ValidationError
  Errors that can occur while validating a Hugr.