Recently upgraded the crap HT in a box I had... you're in for a damn special treat!
Do you plan on ever using Sirius? You think you'll want the option in the future? If yes, then the answer is yes. If you don't think you'll ever bother with it, and are pretty sure, then don't look for one that offers it. If you find a receiver that has all the features you want and it also offers Sirius connections, then I'd say buy that one; no point in skipping one just because it has extra features, right?
I NEVER thought I'd stream music from my laptop to the receiver I have. I ended up with a receiver that offered it and after trying it out, I'm happier than a pig in poop that I got it as an option, as I'm using the laptop as my main music box on the receiver and don't have to plug any wires into it to do it. It's a great feature, but ONLY if you think you'll use it. If you compare two models and the only different feature is the DLNA option and it costs $50 more, then go with the cheaper model. Though if the difference is only $50 and you can swing it, I'd recommend the one with more features obviously, as you might just find that one feature you don't want to use now is the one feature you wish you had in the future which means a potentially expensive upgrade, with an annoying sell on eBay or audiogon or similar, to offload the old one.
For me, it's nice to be able to stream the music from the laptop without having to turn the TV on. I can control everything from the laptop and don't need the TV running to do it, unlike my using the PS3, which is why I don't use MINE that way. If you use the PS3 for DLNA options and don't mind running the TV just to listen to music, then in the end the DLNA option is worthless for you. I don't know what you plan on doing with your system so I can't recommend much else here.
Find a local shop that has the speakers you want AND the receivers you want and do thorough listening tests. Use the same CDs (don't take anything that has a low bit rate to it, as most good speakers are horribly unforgiving when playing it back, unless it has something similar to the "restorer" option my Denon has, and even then you can definitely tell the difference between low vs high (or even FLAC) bit rate tracks without question.
Audioholics has a first look up for the Anthem. Sounds like a good receiver to me. It's "only" 80w per channel though, so you'll want to make sure it can drive the speakers you choose.
The Marantz 6005 is 110w per channel, so it should have an easier time driving speakers, though, if you're eyeing up bookshelf speakers, either option would be good.
Audioholics also has a for the Yamaha and it sounds great.
Let me ask, do you plan on upscaling any old sources? You want to use a DVD player but upscale to 1080p? Do you ever use other sources that would benefit from an upscale? If so, you might want to look for something with better upscaling options, but if you just want to plug in your laptop, anything you've listed will work well for you in my mind. The next step up in the Yamaha line gets you better upscaling. You may also want to look into Denon options as well.
Good luck and happy listening!
