fix: Automatically add resource req for custom ops

[aborgna-q]

Closes #388

This fix is blocked by extension inference.
The failing test in builder::circuit::test::with_nonlinear_and_outputs constructs this diagram:

Where MissingRsrc.MyOp now requires MissingRsrc. The output node has that extension in input_resources, but the rest of the operations in the region need to define it too. (And I think we'll require a lift node for qubit 1?)

[acl-cqc]

Hmmm, see here:

https://github.com/CQCL-DEV/hugr/blob/377dc57ebe7a87b99c9b86ae2473da426d380f44/src/extension/op_def.rs#L227-L229

if we go with the approach in this comment, we'll have to update a lot of resources. Alternatively this might be a better place to compute the union.

[aborgna-q]

Updated to the latest HEAD.
This change still causes either a TgtExceedsSrcExtensions or a MismatchedConcreteWithLocations error in 24/154 tests.

[acl-cqc]

Updated to the latest HEAD. This change still causes either a TgtExceedsSrcExtensions or a MismatchedConcreteWithLocations error in 24/154 tests.

Sounds like the same as changing

hugr/src/extension/op_def.rs

Lines 193 to 195 in b256c2b

	// TODO bring this assert back once resource inference is done?
	// https://github.com/CQCL-DEV/hugr/issues/425
	// assert!(res.contains(self.extension()));

to add the new element rather than assert - which I think is probably an easier place to do it (that catches all cases in one go).

But yeah, the bulk of the work here is figuring out why the tests are failing. In most cases it is probably that the tests need updating....

[acl-cqc]

I think we can close this as #734 is an up-to-date version that includes all the necessary test fixes ?