Core: complete Release CTest suite, 3922 passed and 1 existing skip; Python MLIR/Qiskit, 791 passed; repository lint and whole-file C++ lint passed.
Small semantic benchmark: 400 passed. Large native-contract benchmark: 398 passed.
Bench: rebased on 8d23428; 180 optional compiler tests and 269 benchmark tests passed; lint and uv lock check passed.
