ArrayRef'ize Sema APIs related to format string checking