(C) Add an option in orcc to check array inbounds using asserts