Add ASSERT_WITH_SECURITY_IMPLICATION to detect out of bounds access