🎨 Move validation function from qmap to NAComputation

[ystade]

Description

This adds a function validating an NAComputation by checking the AOD constraints that was previously implemented inside the tests of QMAP.

Checklist:

• [x] The pull request only contains commits that are related to it.
• [x] I have added appropriate tests and documentation.
• [x] I have made sure that all CI jobs on GitHub pass.
• [x] The pull request introduces no new warnings and follows the project's style guidelines.

[codecov[bot]]

Codecov Report

All modified and coverable lines are covered by tests :white_check_mark:

Project coverage is 91.7%. Comparing base (12754e4) to head (d04e582). Report is 133 commits behind head on main.

Additional details and impacted files

[](https://app.codecov.io/gh/cda-tum/mqt-core/pull/660?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=cda-tum) ```diff @@ Coverage Diff @@ ## main #660 +/- ## ===================================== Coverage 91.6% 91.7% ===================================== Files 148 148 Lines 14776 14832 +56 Branches 2370 2386 +16 ===================================== + Hits 13548 13603 +55 - Misses 1228 1229 +1 ``` | [Flag](https://app.codecov.io/gh/cda-tum/mqt-core/pull/660/flags?src=pr&el=flags&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=cda-tum) | Coverage Δ | | |---|---|---| | [cpp](https://app.codecov.io/gh/cda-tum/mqt-core/pull/660/flags?src=pr&el=flag&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=cda-tum) | `91.4% <100.0%> (+<0.1%)` | :arrow_up: | | [python](https://app.codecov.io/gh/cda-tum/mqt-core/pull/660/flags?src=pr&el=flag&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=cda-tum) | `99.7% <ø> (ø)` | | | [Files with missing lines](https://app.codecov.io/gh/cda-tum/mqt-core/pull/660?dropdown=coverage&src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=cda-tum) | Coverage Δ | | |---|---|---| | [include/mqt-core/na/NAComputation.hpp](https://app.codecov.io/gh/cda-tum/mqt-core/pull/660?src=pr&el=tree&filepath=include%2Fmqt-core%2Fna%2FNAComputation.hpp&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=cda-tum#diff-aW5jbHVkZS9tcXQtY29yZS9uYS9OQUNvbXB1dGF0aW9uLmhwcA==) | `91.6% <ø> (-8.4%)` | :arrow_down: | | [src/na/NAComputation.cpp](https://app.codecov.io/gh/cda-tum/mqt-core/pull/660?src=pr&el=tree&filepath=src%2Fna%2FNAComputation.cpp&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=cda-tum#diff-c3JjL25hL05BQ29tcHV0YXRpb24uY3Bw) | `100.0% <100.0%> (ø)` | |