This splits the `loadBlocksIntoState` function into several different
functions. It now mostly handles L2 reorgs as well.