Migrate derivative to educe

[jchavarri]

Issue Addressed

Fixes #7001.

Proposed Changes

Mostly mechanical replacement of derivative attributes with educe ones.

Attribute Syntax Changes

// Bounds: = "..." → (...)
#[derivative(Hash(bound = "E: EthSpec"))]
#[educe(Hash(bound(E: EthSpec)))]

// Ignore: = "ignore" → (ignore)  
#[derivative(PartialEq = "ignore")]
#[educe(PartialEq(ignore))]

// Default values: value = "..." → expression = ...
#[derivative(Default(value = "ForkName::Base"))]
#[educe(Default(expression = ForkName::Base))]

// Methods: format_with/compare_with = "..." → method(...)
#[derivative(Debug(format_with = "fmt_peer_set_as_len"))]
#[educe(Debug(method(fmt_peer_set_as_len)))]

// Empty bounds: removed entirely, educe can infer appropriate bounds
#[derivative(Default(bound = ""))]
#[educe(Default)]

// Transparent debug: manual implementation (educe doesn't support it)
#[derivative(Debug = "transparent")]
// Replaced with manual Debug impl that delegates to inner field

Note: Some bounds use strings (bound("E: EthSpec")) for superstruct compatibility (expected ',' errors).

Additional Info

derivate remains as a transitive dep through alloy-primitives -> ruint -> ark-ff -> derivative.

[cla-assistant]

All committers have signed the CLA.

[cla-assistant]

Thank you for your submission! We really appreciate it. Like many open source projects, we ask that you sign our Contributor License Agreement before we can accept your contribution.
_{You have signed the CLA already but the status is still pending? Let us recheck it.}

[jchavarri]

Note: Some bounds use strings (bound("E: EthSpec")) for superstruct compatibility (expected ',' errors).

It seems this was fixed in recent versions of darling: https://github.com/TedDriggs/darling/releases/tag/v0.20.3. Updating superstruct to 0.10.0 solves the limitation.

Aside from that, trying to figure out / reproduce locally the ci build errors on the check_consensus_block_proposals task.

[macladson]

This looks good to me, but for consistency I think we may as well bump superstruct so we can get rid of the strings in some of the bounds. I've opened a PR here -> #8133

[macladson]

@jchavarri We have bumped the unstable branch to superstruct version 0.10.0
Can you change the trait bounds to remove those strings?

[jchavarri]

@macladson done! seems to work fine 🎉

[macladson]

Looks pretty good to me! Just some minor comments

[macladson]

After some internal discussion I've reverted the Default impl change since it's cleaner and is irrelevant for the tests. Sorry for the mix-up.

This PR looks good now so we can merge soon 🚀