chore!: Update to `portgraph 0.13` / `petgraph 0.7` #3315

Job	Run time
Check for changes in Python files	3s
Build HUGR binary	1m 1s
Check serialization schema	7s
check python 3.10	22s
check python 3.13	15s
test python 3.10	35s
test python 3.13	55s
Required checks 🐍	1s
	3m 19s

Provide feedback