v0.1.3

• It generates a asm json with the optimized bytecodes as output
• It fixs minor errors when considering some uninterpreted functions
• It fix minor errors in the log generation
• It adds a final verification that checks that the original asm json and the optimized one are equivalent, i.e., their blocks generates the same stack.