Rename SignedAttestation.message to .data to align with leanSpec#183

MegaRedHand merged 1 commit intomainlambdaclass/ethlambda:mainfrom

rename-signed-attestation-message-to-datalambdaclass/ethlambda:rename-signed-attestation-message-to-dataCopy head branch name to clipboard