Sequentializing the error variable.
* allows threads to exit at yield statements.
Automatic version numbers.
Adding git commit hook.
Consolidation of jump to $exit.
* Now added after every "yield" statement during normalization.
Adding sequentialization-havoced variables to modifies list.
Merge branch 'hotfix-0.9.4'
Bumped version number.