Rust

`verify_cell_kzg_proof_batch()`: Split it up further #1221

Job	Run time
feature-checks	1m 10s
tests (ubuntu-latest, x86_64-unknown-linux-gnu)	1m 3s
tests (windows-latest, x86_64-pc-windows-msvc)	2m 38s
tests (macos-14, aarch64-apple-darwin)	1m 5s
tests (macos-latest, x86_64-apple-darwin)	1m 24s
	7m 20s

Provide feedback