Encode used extension versions on serialized hugrs

HUGR extensions have a version field, but it gets ignored most of the time and newer extensions override older ones. This ends up causing obscure validation errors when an operation changes it signature.

We should store the list of extension IDs and their version used in a hugr/package, and error-out if there's semver-breaking mismatches.