Bump the version of dependency oq3_semantics

[jlapeyre]

The previous required version was 0.6.0. This commit bumps the required version to 0.7.0.
There are several changes since 0.6.0, but the impetus for bumping the version here is for compatibility with Rust 1.81.

Closes #13096

[qiskit-bot]

One or more of the following people are relevant to this code:

• @Qiskit/terra-core

[coveralls]

Pull Request Test Coverage Report for Build 11599832545

Warning: This coverage report may be inaccurate.

This pull request's base commit is no longer the HEAD commit of its target branch. This means it includes changes from outside the original pull request, including, potentially, unrelated coverage changes.

• For more information on this, see Tracking coverage changes with pull request builds.
• To avoid this issue with future PRs, see these Recommended CI Configurations.
• For a quick fix, rebase this PR at GitHub. Your next report should be accurate.

Details

• 0 of 0 changed or added relevant lines in 0 files are covered.
• 209 unchanged lines in 14 files lost coverage.
• Overall coverage increased (+0.03%) to 88.731%

---

Files with Coverage Reduction	New Missed Lines	%
qiskit/circuit/library/iqp.py	1	96.15%
qiskit/transpiler/passes/synthesis/unitary_synthesis.py	2	58.05%
crates/qasm2/src/lex.rs	4	92.23%
qiskit/compiler/assembler.py	5	96.32%
qiskit/synthesis/two_qubit/xx_decompose/decomposer.py	7	90.77%
qiskit/compiler/transpiler.py	7	92.93%
qiskit/result/mitigation/utils.py	8	89.74%
qiskit/result/mitigation/correlated_readout_mitigator.py	10	89.69%
qiskit/result/mitigation/local_readout_mitigator.py	13	90.15%
qiskit/transpiler/preset_passmanagers/generate_preset_pass_manager.py	14	92.0%

Totals
Change from base Build 11584707253:	0.03%
Covered Lines:	75607
Relevant Lines:	85209

---

💛 - Coveralls

[jakelishman]

I think you might need to do a cargo build locally and commit the subsequent changes to Cargo.lock?