- add example uses of Triton VM to top-level documentation (6c3537ab)
- add methods indicating instruction's effect on stack size (2f3867d8)
- refactor FRI for increased readability (61073e2b)
- derive `Default` for `NonDeterminism` (954e23e3)
- use `Arbitrary` for property based tests (74df64d5)
- fix: specification for instruction `pow` (be168ef9)
- introduce profiling category for witness generation (6362cc57)
- don't expose profiling macros, add some documentation (b2e2a600)