Forgot some memory
Clean logging for better output
Support trunc and zext in z3
Better coverage for LLVM->Z3
Cleaning solver and examples