Add state transition vectors for aggregation bits bounds handling#899

tcoratger merged 2 commits into

leanEthereum:mainleanEthereum/leanSpec:mainfrom

lambdaclass:aggregation-bits-bounds-fixtureslambdaclass/leanSpec:aggregation-bits-bounds-fixturesCopy head branch name to clipboard