feat: add bv_decide benchmarks

[hargoniX]

No description provided.

[hargoniX]

!bench

[leanprover-community-mathlib4-bot]

Mathlib CI status (docs):

• ❗ Batteries/Mathlib CI will not be attempted unless your PR branches off the nightly-with-mathlib branch. Try git rebase 5c61ad38bec18056d97a7a0319af180fc3b3b703 --onto 9ce15fb0c61e3a1bee17fd81647ed4d02b4f6c6d. (2024-08-29 12:05:15)

[leanprover-bot]

Here are the benchmark results for commit 808110a.
The entire run failed.
Found no significant differences.

[hargoniX]

!bench

[leanprover-bot]

Here are the benchmark results for commit 5847ef0.
There were significant changes against commit 5c61ad3:

  Benchmark    Metric       Change
  ==========================================
+ rbmap_fbip   task-clock    -3.7% (-13.5 σ)
+ rbmap_fbip   wall-clock    -3.7% (-14.0 σ)