Explain rationale and semantics of _LOOPY_SKIP_ARG_CHECKS