The pre-October 7 warnings from Arab allies were too vague to warrant major military action