[WIP] Committee aggregation#282

kamilsa wants to merge 24 commits intoleanEthereum:mainleanEthereum/leanSpec:mainfrom

kamilsa:committee-aggregationkamilsa/leanSpec:committee-aggregationCopy head branch name to clipboard