chore: add regex_execute binary for profiling

[jonathanpwang]

Updated readme with new ways to profile

[github-actions]

Benchmarks

group	app_log_blowup	app_total_cells_used	app_total_cycles	app_total_proof_time_ms	leaf_log_blowup	leaf_total_cells_used	leaf_total_cycles	leaf_total_proof_time_ms	max_segment_length	instance	alloc
ecrecover_program	2	15,230,037	580,032	(-10.0 [-0.4%]) 2,354.0	-	-	-	-	1048476	64cpu-linux-arm64	mimalloc
fibonacci_program	2	51,505,102	3,000,274	(-5.0 [-0.1%]) 5,458.0	-	-	-	-	1048476	64cpu-linux-arm64	mimalloc
regex_program	2	165,028,173	8,381,808	(-131.0 [-0.8%]) 15,878.0	-	-	-	-	1048476	64cpu-linux-arm64	mimalloc
verify_fibair	2	(+39,430 [+0.3%]) 14,630,160	(-138 [-0.0%]) 397,156	(-14.0 [-0.9%]) 1,537.0	-	-	-	-	1048476	64cpu-linux-arm64	mimalloc

Commit: 92db500

Benchmark Workflow