Zack Orndorff

I figured I'd try my hand at implementing display of z3.And(cond1, cond2, cond3, ...) (where there are more than 2 conditions being joined). Not sure rendering these really accomplishes anything....

Thanks for posting this code Josh! I threw a couple random binaries I had laying around at it, and tweaked it until they would decompile. * I've added the remainder...