feat(compile): expand QCIS rewrite rules and fix global phases

[jianjian01]

Expand QCIS gate simplification and native decomposition rules while preserving exact unitary equivalence, including global phase.

• Add 64 rules covering equatorial pulse cancellation and merging, RXY specialization, RZ absorption, CZ echoes, and compact native decompositions.
• Fix global-phase errors in 21 existing decomposition rules.
• Use parameter count as a final rewrite-cost tie-breaker to enable parameter-reducing specializations.
• Add strict matrix-equivalence and regression tests for symbolic rewriting, target-basis lowering, termination, barriers, and labels.