LUCENE-5752: track isDeterministic privately in LA; also remove states not reachable from initial node in removeDeadStates; move prefix handling into LevA