New Z3 interaction function.
New Z3 interaction function.

This one is much smaller, mostly by stripping out the now-broken debug
flags. It also enables interactive operation.

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