feat: add host configurable memory cell type to MemoryConfig

[jonathanpwang]

Add trait AddressSpaceHostLayout with concrete implementation as enum MemoryCellType.

Add AddressSpaceHostConfig struct and now MemoryConfig stores a vec of these, one per address space.
Now all handling of conversions from raw bytes to F is done through this config.

Comparison: https://github.com/axiom-crypto/openvm-reth-benchmark/actions/runs/16532679208
Memory finalize time seems to have increased significantly percentage-wise, but it is still on the order of milliseconds so I think negligible?

[codspeed-hq]

CodSpeed WallTime Performance Report

Merging #1903 will degrade performances by 23.01%

_{Comparing INT-4397 (e82c995) with feat/new-execution (0f1213d)}

⚠️ Unknown Walltime execution environment detected

Using the Walltime instrument on standard Hosted Runners will lead to inconsistent data.

For the most accurate results, we recommend using CodSpeed Macro Runners: bare-metal machines fine-tuned for performance measurement consistency.

Summary

⚡ 2 improvements
❌ 2 regressions
✅ 20 untouched benchmarks

⚠️ Please fix the performance issues or acknowledge them on CodSpeed.

Benchmarks breakdown

	Benchmark	BASE	HEAD	Change
⚡	benchmark_execute[fibonacci_iterative]	52.8 ms	40.9 ms	+28.98%
⚡	benchmark_execute[fibonacci_recursive]	81.4 ms	66.7 ms	+22.03%
❌	benchmark_execute[keccak256]	37 ms	48.1 ms	-23.01%
❌	benchmark_execute[sha256]	37.2 ms	46.5 ms	-20.03%

[jonathanpwang]

@Golovanov399 should be ready for review

[Golovanov399]

Thank you

[Golovanov399]

And removed addr_space_sizes?

[jonathanpwang]

addr_space_sizes was only added in feat/new-execution so 1.3.0 doesn't know about it

[Golovanov399]

is there any advantage of U32 <-> F being not the same as Native <-> F?

[jonathanpwang]

I just put it there in case for some reason we want to use canonical form instead of Montgomery form or maybe to support PrimeField64, but right now we don't need it

[github-actions]

group	app.proof_time_ms	app.cycles	app.cells_used	leaf.proof_time_ms	leaf.cycles	leaf.cells_used
verify_fibair	(+16 [+1.5%]) 1,100	322,698	17,672,384	-	-	-
fibonacci	(+10 [+0.5%]) 2,204	3,000,556	51,508,517	-	-	-
regex	(-100 [-1.3%]) 7,444	8,330,866	165,431,684	-	-	-
ecrecover	(+2 [+0.2%]) 1,125	274,568	8,596,011	-	-	-
pairing	(+35 [+1.0%]) 3,681	3,725,930	93,105,233	-	-	-

Commit: e82c995

Benchmark Workflow