Implement and test array length checks

Come up with a fast and reliable implementation of array length checking. If performance cost is too high, consider making it an off-by-default, opt-in feature.

An initial implementation can be found in the [param-verification-transparency](https://github.com/StreamHPC/OpenCL-Layers/commits/param-verification-transparency) branch of Stream HPC, with the majority of the implementation being in [this](https://github.com/StreamHPC/OpenCL-Layers/commit/c04d6f02da64c6eae1de1f433b1654118725c3e2) commit.

Read the param-verification-transparency branch and commit c04d6f02da64c6eae1de1f433b1654118725c3e, where the initial implementation is described as residing. Assess the existing array length checks and their performance cost. Done means reliable checks are implemented, tested, and either efficient by default or available as an opt-in feature.

Written by the indexing model from the issue text.