start with numRegions + non-topo unwind depth when looking at all safeties
counterstrategy refactoring, much cleaner
do not call core finding for unrealizable case
Merge remote-tracking branch 'vasu/cores' into slurp-dev

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