chore: bump leanSpec commit to e9ddede (2026-04-16)#294

MegaRedHand merged 1 commit intomainlambdaclass/ethlambda:mainfrom

bump-leanspec-2026-04-16lambdaclass/ethlambda:bump-leanspec-2026-04-16Copy head branch name to clipboard