block: rename message to block in SignedBlock#465

tcoratger merged 1 commit intoleanEthereum:mainleanEthereum/leanSpec:mainfrom

tcoratger:SignedBlock-blocktcoratger/leanSpec:SignedBlock-blockCopy head branch name to clipboard