dfa_skip

The skip for an unanchored start (computing it the first time, in a lazy DFA).

dfa_skip :: (d: *Dfa, index: int) -> *Skip