Updates to lie_closure

[Qottmann]

Fix #6018 and do some other maintenance upgrades

Aim is to allow lie closure to reliably handle cases where sums of paulis are input (e.g. Heisenberg model)

The problem was that sometimes a commutator would be 0 but require a simplify for that to show. Fixed that.

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 99.65%. Comparing base (a456fce) to head (8dd7c30).
Report is 301 commits behind head on master.

Additional details and impacted files

@@            Coverage Diff             @@
##           master    #6023      +/-   ##
==========================================
- Coverage   99.65%   99.65%   -0.01%     
==========================================
  Files         428      428              
  Lines       41160    40887     -273     
==========================================
- Hits        41020    40746     -274     
- Misses        140      141       +1     

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

[Qottmann]

[sc-69368]

[dwierichs]

Looks good to me, thanks @Qottmann !

[trbromley]

Thanks @Qottmann!