lots of cleanup and a few bug fixes--removed errant TreeSet from PathSensitiveSymbolicExecutor, changed fake return behavior in piecewise exector (experimental)