perf(prover): default rayon to available_parallelism
#2727
+35
−4
available_parallelism
#2727