those are correct and should work fine, sedo however has to enter the domains for them to be active and working, not sure if they work around the clock on weekends though, worst case monday or tuesday due to the holiday.
if you mean how long does it take for you to type the websites and get them redirected to your sedo listing, it can take up to 48 hours according to godaddy. Sometimes it happens right away for me, sometimes it takes days! If after 48 hrs the nameservers still haven't resolved, I'd probably contact godaddy.
I signed up with Sedo yesterday morning and set up one of my Godaddy domains to forward to it. The changes haven't taken place yet, so I'd say give it a day or two (hopefully). I'm hoping it's just the holiday weekend that's slowing everything down...we'll see.
Sedo is working today because some of my domain optimization keywords were approved, and I also got an email from Sedo today. I've also "forwarded" some domains to Sedo today, and they went into effect right away. The registrar wasn't GoDaddy, but GoDaddy is usually pretty fast with updating.