正確に言うと、「余分なコードを書かなくて済む」だな。

単純に、固定されていないと、
・mouseout->mouseoverの順で発生した場合
・mouseover->mouseoutの順で発生した場合
の両方を想定して書く必要があるだろ。
どっちかに固定されていれば片方だけで済み、その分コードが少なくなる。
だからプログラミングモデルとしては、固定されていた方がいいんだよ。
例えば、.NETは割と固定されてる。

ただ、上記リンクを見る限り、ブラウザの実装の余地を残す為（というのは後付だろうが）
放置って感じか。