feat(precompile programs): ed25519 verify

[Sobeston]

Decided to split the three programs into multiple PRs.

[codecov]

Codecov Report

Attention: Patch coverage is 89.86486% with 15 lines in your changes missing coverage. Please review.

Files with missing lines	Patch %	Lines
...rc/runtime/program/precompile_programs/ed25519.zig	88.37%	10 Missing ⚠️
.../runtime/program/precompile_programs/secp256k1.zig	0.00%	2 Missing ⚠️
.../runtime/program/precompile_programs/secp256r1.zig	0.00%	2 Missing ⚠️
src/runtime/program/precompile_programs/lib.zig	98.27%	1 Missing ⚠️

Files with missing lines	Coverage Δ
src/runtime/program/precompile_programs/lib.zig	98.27% <98.27%> (ø)
.../runtime/program/precompile_programs/secp256k1.zig	0.00% <0.00%> (ø)
.../runtime/program/precompile_programs/secp256r1.zig	0.00% <0.00%> (ø)
...rc/runtime/program/precompile_programs/ed25519.zig	88.37% <88.37%> (ø)

... and 1 file with indirect coverage changes

[Sobeston]

• feat(precompile programs): secp256k1 verify #575  #580
• feat(precompile programs): ed25519 verify #575 👈 (View in Graphite)
• main

This stack of pull requests is managed by Graphite. Learn more about stacking.

[Rexicon226]

Could you stick to using RLS for all of the struct initializations? Right now it's kinda half RLS half T{}.

The logic itself looks good, just some comments about different things :).

[Rexicon226]

I recommend you remove the unimplemented programs, secp256{k1,r1} and add them back in the next PR. That'll pass the coverage, and make the changeset more atomic.

[0xNineteen]

lgtm just need to pass code-cov