Rename SignedBlockWithAttestation.message to .block to match leanSpec#250

MegaRedHand merged 1 commit intomainlambdaclass/ethlambda:mainfrom

rename-signed-block-message-to-blocklambdaclass/ethlambda:rename-signed-block-message-to-blockCopy head branch name to clipboard