QEST'23 Changes

[ifndefJOSH]

Currently

• Fixed bug where state which is terminated at one point and then still connected to the absorbing state if "un-terminated" and then explored.
• Removed unused method flushStatesTerminated() from StaminaPriorityModelBuilder (it uses an alternate method) Method is actually used so I put it back
• Adds preprocessor flags for DIE_ON_DEADLOCK and WARN_ON_DEADLOCK which if the former is enabled, STAMINA will die if it encounters any deadlock state (other than the artificial absorbing state) and for the latter, will emit a warning.
• No longer creates duplicate self-loop transitions for deadlock states
• Actually adds deadlock states to stateStorage.deadlockStateIndecies
• (IN PROGRESS) Creates an Absorbing label and uses that rather than modifying the model or properties file (see #13 )

[ifndefJOSH]

Merge this into main as this is the version submitted to QEST'23