Include CommutativeAnalysis pass explicitly when doing control flow b…

…locks

A new PassManager for CommutativeCancellation is constructed when descending into control flow blocks.
This commit explicitly includes a CommutativeAnalysis pass in this construction rather than relying on
`requires`. This change, while not necessary, is made for consistency with other explicit constructions
of PassManagers containing these passes.

qiskit/transpiler/passes/optimization/commutative_cancellation.py

@@ -197,7 +197,7 @@ def _handle_control_flow_ops(self, dag):
         """
         from qiskit.transpiler import PassManager
 
-        pass_manager = PassManager(self.__class__(self.basis))
+        pass_manager = PassManager(CommutationAnalysis(), self.__class__(self.basis))
         for node in dag.op_nodes(ControlFlowOp):
             mapped_blocks = []
             for block in node.op.blocks: