alpha 9 for Triton VM v0.42.0

✨ Features

- Add instruction `addi` (3b5bc12)
- Add dynamic counterpart to tasm code generator (72b6f5b)
- Introduce instruction `merkle_step_mem` (3b1e359)

🐛 Bug Fixes

- Fix arithmetic overflow in `MemoryRegion` (f83f8aa)

📚 Documentation

- Add AIR circuit node count to arithmetization overview (c843694)
- Add constraints overview table for AIR of degree 8 (ac98c22)
- Add column counts for various degree lowering targets (c26cf9c)
- Add dynamic AIR eval cost to overview (be9b441)

⚙️ Miscellaneous

- Use types over anonymous tuples (4358ace)
- Qualify `air_constraint_evaluation_tasm` by staticity (1dc54cc)

♻️ Refactor

- Reflect default arg in function name (171dfb2)
- Add directory for logic related to AIR evaluation (0c0310d)

✅ Testing

- Verify that arguments, if any, can be changed (e55c247)
- Deduplicate code using macros (592d7bf)
- *(dyn air)* Verify that dynamic and static evaluators agree (574e407)
- Add example program for `merkle_step_mem` (d9edddd)

Cargo.toml

@@ -12,7 +12,7 @@ lto = "thin"
 lto = "thin"
 
 [workspace.package]
-version = "0.42.0-alpha.8"
+version = "0.42.0-alpha.9"
 edition = "2021"
 authors = ["Triton Software AG"]
 license = "Apache-2.0"