Add functions for working with propagators of operators

Urban Duhrequested to merge
operator-propagator into main

Includes:

  • folding circuits,
  • propagating strictly local operators in extensive circuits,
  • propagating extensive operators in extensive circuits.

Merge request reports