[Do not merge] [WIP] upgrade lie_closure with focus on scalability

[Qottmann]

Instead of adding pauli sentences piece by piece, do it in batches

upside:
should be faster/scale better, more stable because basis is orthonormalized naturally

downside:
changes the basis elements, so the original input vectors might not be present as is in the final DLA