- do DEEP-ALI instead of plain ALI in the zk-STARK (#190) (96064413)
- add convenience functions for using Triton VM (0dab32a2) (dda05e4e)
- improve Triton profiler (#191) (7edd1a2c)
  - add profiling of categories
  - introduce more weights for relative runtime costs
  - print relative time for all tasks and sub-tasks
- make method `debug` more powerful (ab49df75)
  - add optional argument: initial state
  - add optional argument: number of execution steps
- add construction of AET (witness generation) to profiling (c6e7b1e1)
- use `cfg(debug_assertions)`, not environment variable (b0052f1f)