op-node: handle sequencer errors with derivation-levels, reset when L1 origins are inconsistent, test reset handling