chore(deps-rs)!: Update hugr to 0.13.1

[aborgna-q]

drive-by: Update some other deps that don't require code changes
drive-by: Fix a small TODO that required the latest hugr version

BREAKING CHANGE: Updated hugr to 0.13.1

[codecov]

Codecov Report

Attention: Patch coverage is 57.14286% with 3 lines in your changes missing coverage. Please review.

Project coverage is 81.94%. Comparing base (994153e) to head (c59ac79).
Report is 1 commits behind head on main.

Files with missing lines	Patch %	Lines
tket2-hseries/src/extension/hseries/lower.rs	66.66%	0 Missing and 2 partials ⚠️
tket2/src/serialize/pytket/decoder.rs	0.00%	0 Missing and 1 partial ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##             main     #660      +/-   ##
==========================================
- Coverage   81.99%   81.94%   -0.06%     
==========================================
  Files          50       50              
  Lines        6766     6768       +2     
  Branches     6766     6768       +2     
==========================================
- Hits         5548     5546       -2     
- Misses        854      857       +3     
- Partials      364      365       +1     

Flag	Coverage Δ
rust	81.94% <57.14%> (-0.06%)	⬇️

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.