test(verify_signatures): reject out-of-range proposer_index via tamper#664

tcoratger merged 1 commit intoleanEthereum:mainleanEthereum/leanSpec:mainfrom

tcoratger:test/verify-signatures-proposer-boundstcoratger/leanSpec:test/verify-signatures-proposer-boundsCopy head branch name to clipboard