Fix bugs about i1 values

Wrap i1 values with ZExt and Trunc
Fix codegen

Divide jit into optimization and execution