Timing Kimi K3.1 Pro vs Highspeed: 1.7 Faster for 2 the Price, and When That's Worth It