[feat] polish declare/init macros (rename and move to one place etc)

[Golovanov399]

This resolves INT-3058 and INT-3060.

All three macro crates (moduli, complex, sw) are now in extensions/extension-algebra-macros. Each of them now has a README.md, which docs/repo/layout.md refers to.

[Golovanov399]

Currently the tests aren't working because it tries to find the openvm-algebra-moduli-macros crate at https://github.com/openvm-org/openvm.git, which is not there yet. I think they should pass after merge

[Golovanov399]

Or we can make these use relative paths, not git. @jonathanpwang do you know if there is any reason why examples/pairing/Cargo.toml uses git at openvm-algebra-moduli-macros = { git = "https://github.com/openvm-org/openvm.git" }?

[jonathanpwang]

Or we can make these use relative paths, not git. @jonathanpwang do you know if there is any reason why examples/pairing/Cargo.toml uses git at openvm-algebra-moduli-macros = { git = "https://github.com/openvm-org/openvm.git" }?

Just to make it match how it would be used outside of this repo

[jonathanpwang]

I requested some changes to folder names and also the macro re-export alias

[jonathanpwang]

LGTM except comments

[jonathanpwang]

LGTM, overall great cleanup and new readmes are very helpful

[github-actions]

group	app.proof_time_ms	app.cycles	app.cells_used	leaf.proof_time_ms	leaf.cycles	leaf.cells_used
verify_fibair	(+12 [+0.5%]) 2,351	513,369	19,358,282	-	-	-
fibonacci_program	(-49 [-0.8%]) 6,061	1,500,092	51,484,605	-	-	-
regex_program	(-73 [-0.4%]) 18,484	4,139,836	163,833,427	-	-	-
ecrecover_program	(-13 [-0.5%]) 2,595	284,561	15,054,935	-	-	-

Commit: d883e92

Benchmark Workflow

[jonathanpwang]

Merge after revm/reth-bench are synced