Since we're giving credit to people that built the menu system (the one that'll actually be in WordPress), let me name a few:

* Ptah Dunbar
* Austin Matzko
* Daryl Koopersmith

This is not to knock WooThemes' contribution at all. I'm grateful for their contribution. But, if we're going to give some credit, let's give it where it's due. Note that this list only recognizes three of the bigger contributors, not everyone else involved in making menus work. This list also doesn't include all the folks that worked on the post type and taxonomy systems, which is how menus are stored. It also doesn't include the UI/UX team. In short, there's a very long list of people that made menus happen for 3.0.

WordPress is a community of people working together. Most of us do it because we want a better platform, not because we want credit.