Refactor converter and prevent cloning for mem leak
Prevent cloning
Add context to target_cell for ref cleaning
Always decrease z3 solver reference
Remove user memory management for z3
Free env chunk and prefix
Prevent memory leak for instrs str
Prevent double free
Prevent NULL dereference if ELF parsing is bad
Prevent fast return and mem leak
Remove Z3 debug
Add multithreading to rop finder
More mutex for better parallelism
Disable debug for faster rop generation