more precise grouping of stop confs

also
- better printing of confgraphs (stop confs in bold)
- bugfix in [Symexec.gsc_is_ok]
- removed some unused parts of [Debug]