Round 1 of the Stark prover is one of the rounds that takes more time. We need to: - [ ] Add instruments to easily check where the time is being spent - [ ] Improve parallelization (8 cores is giving x3 improvement) - [ ] Find general optimizations to the most expensives parts