EVM/Node: remember intermediate finalized states

Remember more intermediate finalized states, instead of keeping only the head. That's useful to validate blocks instead of waiting for a new blueprint to check for divergence.

Note that I changed the invariants on the table L1_l2_levels_relationships so I had to drop the table and recreate it. I also changed the accesses in the node to make sure we keep the same usage.