Support dynamic circuits in convert_to_rzz_valid_pub

[yaelbh]

It should be easy. Only need to recurse inside the conditional operations, while taking care of qubit indices, as we always do in transpiler passes and ISA validation.

[yaelbh]

Note that there's already a skipped test for this function with dynamic circuits. The test may require a bit of updating.