added a new Spear layout for Counterexamples such that it is easier to s...

I've added counterexample formatting because I got tired of pouring through all of the random signals for 1.0.  I did not add counterexample viewing in Eclipse yet but that is next on my list.