Implement error on out of bounds array access.

In transitioning to a single buffer for arrays, it became possible to access out of bounds (and into adjacent memory).
For correct behavior we need to do a bounds check and error.
This might adversely effect some programs that need performance, like the Nike Hercules simulator, so should be done carefully (maybe add an option to turn off the checks).
