Add initial/deadlock/absorbing atomic properties to explored states

When we start the state space exploration, we know which state is the intial state. Furthermore, during state space exploration we can observe if a given state deadlocks or if it's absorbing.

These state-instrinsic properties could help users to verify interesting properties about their model.