Move state hash impl to new source file, remove some checks if a state is a part of the minimal DFA