optimize circuits with annotated operations using conjugate reduction

[alexanderivrii]

What should we add?

One of the optimizations suggested in #11475 but not covered by #11476 is the following "conjugate reduction":

A great example is a controlled QFT-based adder, which looks as follows: control-(QFT^{-1} -- U -- QFT). We saw in the past that Qiskit produces significantly sub-optimal decompositions. The circuit can be optimized to: QFT^{-1} -- control-U -- QFT, i.e. the control can be moved to the U-part only.

I have a version of this reduction already implemented and will submit a PR shortly.