From the link above:

... it looks like we'll be incorporating the Woo Custom Navigation system into core. I've spoken with Woo and they are working on turning their custom menu system into a core patch.

I am hoping they make it a new function, maybe menu() or something similar, so theme authors can choose to use it ... or not.