o3-pro and o3 price drop

Some OpenAI changes today: o3-pro is replacing o1-pro, and o3 is seeing an 80% price drop.