chore: update bench suite

[Garmelon]

This PR refactors the cslib bench suite so it closely resembles mathlib's again, following leanprover-community/mathlib4#41587.

[Garmelon]

!bench

[leanprover-radar]

Benchmark results for 33092f7 against c0120dd are in. There are significant results. @Garmelon

Warning

These warnings may indicate that the benchmark results are not directly comparable, for example due to changes in the runner configuration or hardware.

• Bench repo commit hashes for run main differ between commits.

• 🟥 build//instructions: +36.7T (+1835.31%)

Large changes (1🟥)

1 hidden

[Garmelon]

!bench

[leanprover-radar]

Benchmark results for d42966b against c0120dd are in. There are significant results. @Garmelon

Warning

These warnings may indicate that the benchmark results are not directly comparable, for example due to changes in the runner configuration or hardware.

• Bench repo commit hashes for run main differ between commits.

• ✅ build//instructions: -26.1G (-1.30%)

Large changes (1✅)

1 hidden

Small changes (1🟥)

• 🟥 build/module/Cslib.Computability.Distributed.FLP.Consensus//instructions: +31.4M (+0.38%) (reduced significance based on absolute threshold)

[Garmelon]

!bench

[leanprover-radar]

Benchmark results for d2756db against c0120dd are in. No significant results found. @Garmelon

Warning

These warnings may indicate that the benchmark results are not directly comparable, for example due to changes in the runner configuration or hardware.

• Bench repo commit hashes for run main differ between commits.

• ✅ build//instructions: -24.0G (-1.20%)

Small changes (1✅, 1🟥)

• ✅ build//instructions: -24.0G (-1.20%)
• 🟥 build/module/Cslib.Computability.Distributed.FLP.Consensus//instructions: +8.9M (+0.11%)

and 1 hidden

[Garmelon]

!bench

[leanprover-radar]

Benchmark results for b2c4c87 against c0120dd are in. No significant results found. @Garmelon

Warning

These warnings may indicate that the benchmark results are not directly comparable, for example due to changes in the runner configuration or hardware.

• Bench repo commit hashes for run main differ between commits.

• ✅ build//instructions: -24.5G (-1.22%)

Small changes (1✅, 1🟥)

• ✅ build//instructions: -24.5G (-1.22%)
• 🟥 build/module/Cslib.Computability.Distributed.FLP.Consensus//instructions: +16.5M (+0.20%)

and 1 hidden

[chenson2018]

@Garmelon Are you still working on this, or is it okay to merge?

[Garmelon]

It is ready to merge. Sorry for not making that clearer.

[chenson2018]

No worries at all, thank you!