From an answer on that page to a similar question:

> Renderman, what we use at Pixar, is also fast but for the quality we strive to achieve is very high, so we we squeeze as much as we can into it until it just becomes too slow.

So if the renderer became faster, we would just add more quality, and make it "slow" again.