Replace derivative by educe

[AurelienFT]

Fix #869

Alternative studied :

• derive_more most maintained but doesn't features we need such as PartialEq (Derive PartialEq? JelteF/derive_more#414) might be a good fit in the future.
• derive-where same issue and even less maintained.

Educe is nearly a drop-in replacement, one of the maintainer is still pretty active.

Checklist

• Breaking changes are clearly marked as such in the PR description and changelog
• New behavior is reflected in tests
• If performance characteristic of an instruction change, update gas costs as well or make a follow-up PR for that
• The specification matches the implemented behavior (link update PR if changes are needed)

Before requesting review

• I have reviewed the code myself
• I have created follow-up issues caused by this PR and linked them here