feat: Memory access instrumentation

[stephenh-axiom-xyz]

Collect and emit memory-related metrics for analysis.

• Emits number of reads and writes per opcode
• TODO: Visualize gaps in memory due to alignment issues

[github-actions]

group	app.proof_time_ms	app.cycles	app.cells_used	leaf.proof_time_ms	leaf.cycles	leaf.cells_used
verify_fibair	(-23 [-1.7%]) 1,333	143,584	8,290,183	-	-	-
fibonacci_program	(-5 [-0.1%]) 4,888	1,500,095	51,485,080	(-8 [-0.2%]) 3,772	615,387	33,541,339
regex_program	(+120 [+0.9%]) 13,845	1,914,103	165,455,373	(-415 [-2.6%]) 15,660	2,056,397	154,574,149
ecrecover_program	(-5 [-0.2%]) 2,470	284,567	15,055,723	(-402 [-3.6%]) 10,897	1,603,960	117,320,460

Commit: 67e665c

Benchmark Workflow

[jonathanpwang]

I think what we likely care more about is where these reads and write are located (which addresses), and what their alignment and block sizes look like.

[jonathanpwang]

closing to be revisited later