Added correct bounds on malloc from i8 and sorted out instruction ordering
Added bounds checking on GEP results