Limiting iteration for now (DFSearch strategy would just go deep unceasingly); Comple...

Limiting iteration for now (DFSearch strategy would just go deep unceasingly); Completing the model-checking automation script; Removing thread from the Timer for now (this creates a lot of permutations for JPF); Hardcoding a few values for the extractor scripts (need to double-check later); Adding a run script for automation.