Optimized the checks for INDEX. Added another noint parameter to many checks. Bounds checks are turned on
Optimized the checks for INDEX. Added another noint parameter to many checks. Bounds checks are turned on

samuelhavron/obliv-c,samuelhavron/obliv-c,samuelhavron/obliv-c,samuelhavron/obliv-c