deadlock test in counterstrategy fixed
first check for satisfiability without topo. if unsat, return core. if satisfiable, check incrementally until returned set of clauses changes. This is in response to observed cores for hallwayofdoom type specs
need three tests -- no topo, just topo and combination
additional arguments for unreal case
fixes reporting error when spec is realizable and env is ok
checking for rho3 transitions is not enough for falsification, need to check that there are no rho1 transitions
Merge remote-tracking branch 'vasu/cores' into slurp-dev

Conflicts:
	src/lib/cores/coreUtils.py
	src/lib/specCompiler.py
	src/specEditor.py