refactor: order Checkpoint by slot to drop max() lambda noise#684

tcoratger merged 1 commit intoleanEthereum:mainleanEthereum/leanSpec:mainfrom

tcoratger:refactor/checkpoint-orderingtcoratger/leanSpec:refactor/checkpoint-orderingCopy head branch name to clipboard