Add mypy static types to qbraid-qir

[TheGupta2012]

Fixes #145

Summary of changes

• Adding type checking for openqasm converter
• Files left -
  • qbraid_qir.qasm3.visitor.py
  • qbraid_qir.cirq.*

[codecov]

Codecov Report

Attention: Patch coverage is 97.36842% with 5 lines in your changes missing coverage. Please review.

Files	Patch %	Lines
qbraid_qir/qasm3/transformer.py	88.23%	2 Missing ⚠️
qbraid_qir/cirq/convert.py	66.66%	1 Missing ⚠️
qbraid_qir/qasm3/elements.py	87.50%	1 Missing ⚠️
qbraid_qir/qasm3/visitor.py	99.07%	1 Missing ⚠️

📢 Thoughts on this report? Let us know!

[ryanhill1]

Updates look good so far!

[TheGupta2012]

Also simplified and extended the logic of _visit_measurement method

[ryanhill1]

Looks great! I noticed you used assert statements in a few places, which is a great way to assist the static type checker. However, just as a reminder, we should reserve assert for situations that are not expected to occur during normal operation—essentially, scenarios where it would be impossible to construct a program input that would cause the assert to fail. For conditions that could feasibly occur during normal operations, using exceptions like ValueError would be more appropriate. That said, it seems like the assert statements you've used are correctly placed for their intended purpose, so no changes are needed. Great job!