framework: advance sync verify_checkpoint past genesis + advanced-state vectors#672

tcoratger merged 1 commit intoleanEthereum:mainleanEthereum/leanSpec:mainfrom

tcoratger:framework/sync-post-genesistcoratger/leanSpec:framework/sync-post-genesisCopy head branch name to clipboard