Stark Prover Round1: RAP. Instrument + Parallelization + Optimization

[MauroToscano]

trafficstars

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