Add disassembler to Dockerfile
Typo
Optimize converter

- Z3 error handler
- Easier debug
- Get sizes for llvm and z3