Rust

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

Job	Run time
feature-checks	1m 1s
tests (ubuntu-latest, x86_64-unknown-linux-gnu)	1m 10s
tests (windows-latest, x86_64-pc-windows-msvc)	2m 13s
tests (macos-14, aarch64-apple-darwin)	1m 29s
tests (macos-latest, x86_64-apple-darwin)	1m 22s
	7m 15s

Provide feedback