Add verifiers to quantum.paulirot op

[paul0403]

Context:
As I was porting quantum dialect to reference semantics, I noticed that the pauli rot op is missing some verifiers.

Description of the Change:
Add 2 verifiers on quantum.paulirot:

1. That the length of the pauliword is the same as the number of qubits
2. That all the pauliwords are legal

Benefits:
Correctness

[github-actions]

Hello. You may have forgotten to update the changelog!
Please edit doc/releases/changelog-dev.md on your branch with:

• A one-to-two sentence description of the change. You may include a small working example for new features.
• A link back to this PR.
• Your name (or GitHub username) in the contributors section.