feat: add test to verify fri proof

[Raid5594]

What ❔

Why ❔

Is this a breaking change?

• Yes
• No

Checklist

• PR title corresponds to the body of PR (we generate changelog entries from PRs).
• Tests for the changes have been added / updated.
• Documentation comments have been added / updated.
• Code has been formatted.

[github-actions]

Benchmark report

Benchmark	Symbol	Base Eff	Head Eff (%)	Base Raw	Head Raw (%)	Base Blake	Head Blake (%)	Base Bigint	Head Bigint (%)
block_19299001	process_block	315,684,498	315,684,498 (+0.00%)	273,019,098	273,019,098 (+0.00%)	410,630	410,630 (+0.00%)	9,023,830	9,023,830 (+0.00%)
block_22244135	process_block	197,585,273	197,585,273 (+0.00%)	170,669,481	170,669,481 (+0.00%)	172,040	172,040 (+0.00%)	6,040,788	6,040,788 (+0.00%)
precompiles	bn254_ecadd	53,268	53,268 (+0.00%)	47,816	47,816 (+0.00%)	0	0 (+0.00%)	1,363	1,363 (+0.00%)
precompiles	bn254_ecmul	728,781	728,781 (+0.00%)	564,593	564,593 (+0.00%)	0	0 (+0.00%)	41,047	41,047 (+0.00%)
precompiles	bn254_pairing	72,336,733	72,336,733 (+0.00%)	57,808,589	57,808,589 (+0.00%)	0	0 (+0.00%)	3,632,036	3,632,036 (+0.00%)
precompiles	ecrecover	478,628	477,909 (-0.15%)	310,380	309,957 (-0.14%)	0	0 (+0.00%)	42,062	41,988 (-0.18%)
precompiles	id	927	927 (+0.00%)	927	927 (+0.00%)	0	0 (+0.00%)	0	0 (+0.00%)
precompiles	keccak	137,579	137,579 (+0.00%)	137,579	137,579 (+0.00%)	0	0 (+0.00%)	0	0 (+0.00%)
precompiles	modexp	31,267,857	31,267,857 (+0.00%)	20,610,037	20,610,037 (+0.00%)	0	0 (+0.00%)	2,664,455	2,664,455 (+0.00%)
precompiles	p256_verify	748,861	748,861 (+0.00%)	470,169	470,169 (+0.00%)	0	0 (+0.00%)	69,673	69,673 (+0.00%)
precompiles	process_block	147,581,798	147,577,391 (-0.00%)	118,108,878	118,095,063 (-0.01%)	5,310	5,340 (+0.56%)	7,346,990	7,349,222 (+0.03%)
precompiles	process_transaction	73,490,645	73,481,599 (-0.01%)	58,793,497	58,781,123 (-0.02%)	160	160 (+0.00%)	3,673,647	3,674,479 (+0.02%)
precompiles	ripemd	8,013	8,013 (+0.00%)	8,013	8,013 (+0.00%)	0	0 (+0.00%)	0	0 (+0.00%)
precompiles	run_tx_loop	146,904,929	146,893,689 (-0.01%)	117,514,089	117,493,921 (-0.02%)	180	180 (+0.00%)	7,346,990	7,349,222 (+0.03%)
precompiles	sha256	13,168	13,168 (+0.00%)	13,168	13,168 (+0.00%)	0	0 (+0.00%)	0	0 (+0.00%)
precompiles	system_init	46,785	46,785 (+0.00%)	46,785	46,785 (+0.00%)	0	0 (+0.00%)	0	0 (+0.00%)
precompiles	verify_and_apply_batch	183,675	183,675 (+0.00%)	144,475	144,475 (+0.00%)	2,450	2,450 (+0.00%)	0	0 (+0.00%)