forkchoice: tighten validate_attestation future-slot bound#682

tcoratger merged 1 commit intoleanEthereum:mainleanEthereum/leanSpec:mainfrom

tcoratger:forkchoice-tighten-attestation-future-slot-boundtcoratger/leanSpec:forkchoice-tighten-attestation-future-slot-boundCopy head branch name to clipboard