Check if start state and final states are present in the states array

[Devorein]

We need to check whether the state referenced in start_state in present in the states array, and each of the states of the final_states but also be present in states array. Right now no such checking is done, which could lead to major bugs and issues.