Detects violations of memory integrity in generated code and stops execution with a diagnostic.\nWithout these checks, violations will lead to unpredictable behavior. The most likely cause\nof memory integrity issues is accessing an array out of bounds.