✨ Features

- Evaluate AIR constraints in Triton assembly (b740c605)

⚙️ Miscellaneous

- Generalize constraint circuit methods (aecd75f5)
- Use `nextest` as the test runner (651934e7)
- Use `cargo-llvm-cov` for code coverage (d7b8e341)
- Report coverage of TUI's integration tests (718b211d)
- Also run benchmarks as tests (05c139f8)

♻️ Refactor

- (!) Use `const`s for number of constraints (eb31e6d8)
- (!) Remove `BinOp::Sub` (675acc69)
- (!) Remove unused functions (105d9435)
- (!) Drop methods for storing `Proof`s (c2974e1e)

✅ Testing

- Use fewer resources in constant folding test (449426aa)