Reason/comment support for ignoring checks via control comments