Better debugging in Z3
Better debugging in Z3

- New feature flag "debug"
- If set, annotate every line with an assertion name
- Print lines from an unsat core

uwplse/Cassius,uwplse/Cassius,uwplse/Cassius,uwplse/Cassius,uwplse/Cassius,uwplse/Cassius