TC-5 Bounds Checking

The implementation of the bounds checking can be done when generating the IR. Requirements are the same than for the see TC-B, Array bounds checking option. You can use HAVM to test the success of your bounds checking.