feat: add rfl to bv_ring, add rfl to bv_bench #2702

	name: tools, scaling, and auto-generated statements
	on:
	push:
	branches:
	- "main"
	pull_request:
	merge_group:

	permissions:
	contents: write

	jobs:
	build:
	name: tools, scaling, and auto-generated stmts
	runs-on: ubuntu-latest
	steps:
	- name: Checkout 🛎️
	uses: actions/checkout@v3

	- name: Install elan 🕑
	run: \|
	set -o pipefail
	curl https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh -sSf \| sh -s -- --default-toolchain none -y
	~/.elan/bin/lean --version
	echo "$HOME/.elan/bin" >> $GITHUB_PATH

	- name: Cache `.lake` folder
	id: cache-lake
	uses: actions/cache@v4
	with:
	path: .lake
	key: ${{ runner.os }}-lake-tools-${{ hashFiles('lake-manifest.json') }}

	- name: Compile `mlirnatural` Executable 🧐
	run: \|
	lake -R exe cache get # download cache of mathlib docs.
	lake -R build mlirnatural

	- name: Compile `opt` Executable 🧐
	run: \|
	lake -R exe cache get # download cache of mathlib docs.
	lake -R build opt

	- name: Compile Alive Scaling
	run: \|
	lake -R exe cache get # download cache of mathlib docs.
	lake -R build AliveScaling

	- name: Check for changes in AliveStatements
	run: \|
	lake -R exe cache get
	lake build AliveExamples
	(cd SSA/Projects/InstCombine/; ./update_alive_statements.py)
	bash -c '! git diff \| grep .' # iff git diff is empty, 'grep .' fails, '!' inverts the failure, and in the forced bash

Provide feedback