transpiler: wrap Rx angles to [0, π]

[airwoodix]

Summary

This patch restricts the angles of the emitted R(θ, φ) to θ ∈ [0, π], φ ∈ [0, 2π], instead of θ ∈ [-π, π] so far.

Details and comments

• snapshot tests are provided as complement to documentation of the rewrite rules
• add fuzzing test, similar to that for the RXX gates in Rewrite negative angles in Rxx gates #37
• only the RX gates need to be considered in the transformation pass because the transpiler works in {RX, RZ, RXX} up to that point
• update to Qiskit-Terra v0.23.3 to have the fix in transpiler/1q_decomposition: fix circuit score for zero gate errors Qiskit/qiskit#9701. Without it, RY gates would be transpiled in two R gates and three RZ gates.
• qiskit-terra doesn't provide the ipykernel dependency anymore. It is however necessary to build the docs.

[github-actions]

☂️ Python Coverage

current status: ✅

Overall Coverage

Lines	Covered	Coverage	Threshold	Status
895	843	94%	93%	🟢

New Files

No new covered files...

Modified Files

File	Coverage	Status
conftest.py	100%	🟢
qiskit_aqt_provider/transpiler_plugin.py	100%	🟢
test/test_transpilation.py	100%	🟢
TOTAL	100%	🟢

updated for commit: 52da225 by action🐍