add optimize_rop_add_gadgets_z3.py