Implement and test array length checks #12
Description
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 branch of Stream HPC, with the majority of the implementation being in this commit.