✨ Features

- (!) Generate profiles despite unfinished tasks (f7ebd2cb)
- (!) Streamline accessing AET's heights (3f3a9fd1)
- (!) Track all relevant tables in VM profiler (fa38fa8b)

🐛 Bug Fixes

- (!) Don't treat randomizer polynomial special (9bbe963b)

⚡️ Performance

- Minimize squeezes for combination weights (50b803c7)
- Re-organize prover steps (86a7799f)
- *(test)* Use minimal size for quotient domain (727ff8ec)
- Use faster polynomial coset evaluation (29849abe)
- Compute Bézout coefficients faster (652b7e9c)

📚 Documentation

- Add rationale for performed DEEP updates (74814884)
- Update documentation of `MasterTable` (d5c2049c)
- Describe computation of Bézout coefficients (06123843)

⚙️ Miscellaneous

- Use fewer glob `use`s (9ca39513)
- (!) *(circuit)* Use challenge's index (e05e3ff3)
- (!) *(circuit)* No `Challenges` in `evaluate` (15a8cd7f)
- Use constant “lookup table height” more (22834b03)
- Benchmark Bézout coefficient computation (ab135be4)

♻️ Refactor

- Deprecate method `num_quotients()` (363ae773)
- (!) Use `BFieldElement`s everywhere (05bd271a)
- (!) Make `ProofStream` non-generic (bde928d4)
- (!) Remove deprecated type aliases (14d08ef8)
- (!) Rename `TableId` variants (c265cf4d)
- Bypass quotient table (ff305459)

✅ Testing

- Benchmark program with lots of memory I/O (c7613878)

🎨 Styling

- Improve readability of `.verify()` slightly (e0ac1096)