Update SAT object

  - Updated SAT.py to check for missed variables after reading in file.
  - Remove 'setVarDict' from SAT.py since it is irrelevant after the update.