Introduce -fcheck-bounds code generation option
This introduces a new mode of (optional) runtime sanity-checking: array bounds checking. When enabled with the -fcheck-bounds
flag, the code generator will introduce various bounds checks into the primops for Array#
, SmallArray#
, ArrayArray#
, and ByteArray#
.
This was written while debugging the crash in #20769 (closed).