o1-pro becomes available through the API

o1-pro reached the API. More compute for harder questions, with the familiar trade: better consistency in exchange for time and cost. Worth logging because inference-time scaling was becoming a product dial.