Start slots witnesses with known capacities

[arthurpaulino]

I got some improvements for synthesis on my machine:

synthesis/Synthesis-rc/8                                                                            
                        time:   [6.2669 ms 6.4224 ms 6.5533 ms]
                        change: [-6.2341% -3.8673% -1.8713%] (p = 0.00 < 0.05)
                        Performance has improved.
synthesis/Synthesis-rc/16                                                                            
                        time:   [4.7671 ms 4.8198 ms 4.8714 ms]
                        change: [-2.9545% -1.6521% -0.4143%] (p = 0.02 < 0.05)
                        Change within noise threshold.
synthesis/Synthesis-rc/24                                                                            
                        time:   [6.7224 ms 6.7568 ms 6.7920 ms]
                        change: [-1.6682% -0.9685% -0.2239%] (p = 0.01 < 0.05)
                        Change within noise threshold.
synthesis/Synthesis-rc/32                                                                            
                        time:   [8.4923 ms 8.5334 ms 8.5706 ms]
                        change: [-2.4480% -1.7619% -1.1174%] (p = 0.00 < 0.05)
                        Performance has improved.
synthesis/Synthesis-rc/64                                                                            
                        time:   [13.447 ms 13.493 ms 13.539 ms]
                        change: [-0.8879% -0.3201% +0.2570%] (p = 0.30 > 0.05)
                        No change in performance detected.
synthesis/Synthesis-rc/128                                                                           
                        time:   [37.025 ms 37.278 ms 37.523 ms]
                        change: [-3.4201% -2.5735% -1.7471%] (p = 0.00 < 0.05)
                        Performance has improved.
synthesis/Synthesis-rc/256                                                                           
                        time:   [62.348 ms 62.594 ms 62.824 ms]
                        change: [-0.7295% -0.0956% +0.4956%] (p = 0.77 > 0.05)
                        No change in performance detected.
synthesis/Synthesis-rc/512                                                                           
                        time:   [111.31 ms 111.61 ms 111.88 ms]
                        change: [+0.6540% +0.9731% +1.2892%] (p = 0.00 < 0.05)
                        Change within noise threshold.

[arthurpaulino]

!gpu-benchmark

[github-actions]

Benchmark for b65ded0

Click to view benchmark

Test	Base	PR	%
LEM Fibonacci Prove - rc = 100/fib/num-100	5.1±0.01s	5.0±0.01s	-1.96%
LEM Fibonacci Prove - rc = 100/fib/num-200	10.3±0.01s	10.1±0.02s	-1.94%