Support commuting `P(pi/2)` past non-Clifford PPR

Currently, `commute_ppr` (https://github.com/PennyLaneAI/catalyst/pull/1563) considers only commutes `P(pi/4)`. However, `P(pi/2)` can also be commuted. The catch is that it applies a different commutation rule from `P(pi/4)P'`, so if the rule for `P(pi/2)` states that `PP' = -P'P`, then: `P(pi/2) P'(x) = -P'(x) P(pi/2)`.

This support should be extended to `commute_ppr`.