Statically allocated bounds check

There doesn't seem to be a good to bounds check an array on the stack (or maybe I'm not understanding how to use -check_stack_bounds).

Having an static array of size 10, and reading 11 elements doesn't give an error similar to the error when its a dynamic array.