feat!: Update rust hugr dependency to 0.12.0, and python hugr to 0.8.0

[aborgna-q]

The main change is the drop of CustomOps, requiring opaque ops to always be resolved.

This is a bit of a problem with the current code, as we used OpaqueOps not backed by a definition to declare operations from python.
For the moment, we leave PyExtensionOp unimplemented and disable the pauli prop tests that depended on it.

tket2/tket2-py/src/ops.rs

Lines 247 to 251 in 473c9f5

	// FIXME: Broken during the update to hugr 0.12
	// Operations must now always be backed by an opDef, so the old way
	// of creating `PyOpaqueOp`s on the fly is no longer possible.
	unimplemented!("Python Extension Ops need an operation definition")
	//let opdef = todo!();

tket2/tket2-py/test/test_pauli_prop.py

Lines 96 to 100 in 473c9f5

	# TODO: This broke with the update to hugr 0.8.0.
	# Custom ops in hugrs must be resolved into `ExtOp`s before they can be used.
	# In this case, we need to define an extension for PauliOps, and make sure the
	# `Rule`s use them, otherwise `RuleMatcher` will complain about finding opaque ops.
	return RuleMatcher([*merge_rules, *propagate_rules, *measure_rules])

I'll raise an issue to get them fixed them.

BREAKING CHANGE: Updated to latest hugr version (hugr-rs 0.12 / hugr-py 0.8). ECCs need to be recompiled.

[codecov]

Codecov Report

Attention: Patch coverage is 64.61538% with 23 lines in your changes missing coverage. Please review.

Project coverage is 83.01%. Comparing base (7c83ba8) to head (3094ad2).
Report is 2 commits behind head on main.

Files with missing lines	Patch %	Lines
tket2/src/circuit/hash.rs	0.00%	6 Missing and 1 partial ⚠️
tket2/src/serialize/pytket/op/serialised.rs	40.00%	5 Missing and 1 partial ⚠️
tket2/src/portmatching/matcher.rs	40.00%	0 Missing and 3 partials ⚠️
tket2/src/ops.rs	75.00%	2 Missing ⚠️
tket2/src/rewrite/ecc_rewriter.rs	75.00%	0 Missing and 2 partials ⚠️
tket2-hseries/src/extension/futures.rs	50.00%	1 Missing ⚠️
tket2-hseries/src/extension/result.rs	80.00%	1 Missing ⚠️
tket2/src/serialize/pytket/op.rs	50.00%	1 Missing ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##             main     #568      +/-   ##
==========================================
- Coverage   83.09%   83.01%   -0.08%     
==========================================
  Files          45       45              
  Lines        6206     6213       +7     
  Branches     6206     6213       +7     
==========================================
+ Hits         5157     5158       +1     
- Misses        768      773       +5     
- Partials      281      282       +1     

Flag	Coverage Δ
rust	83.01% <64.61%> (-0.08%)	⬇️

Flags with carried forward coverage won't be shown. Click here to find out more.

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

[doug-q]

Looks good, Just a couple of nits

[doug-q]

Gross. I think you should include Lift also.