You'll want to keep the robots.txt on the dev subdomain, then verify the subdomain in Google Webmaster Tools. Once you do this, you can request removal of the dev subdomain from Google's index (same goes for Bing).

I've seen mention of it on Twitter, and I'm seeing the URL directly under the title tag in my results, both logged in and logged out. I bet there will be coverage of it on Search Engine Roundtable in the next day or two.

Well, do you want to get included in these search engines? http://media.entireweb.com/images/pages/express_inclusion/ewpartners.png If not, I wouldn't worry about it. Those are not exactly major search engines they're talking about (the previous link was found at http://entireweb.com/express_inclusion/features/). Google and Bing both have ways to submit your site to them for free, if they haven't already picked up on it. Bing's index powers Yahoo these days, so by submitting to just those two you have over 92% of the US search market taken care of (per August Hitwise numbers at http://www.experian.com/blogs/hitwise/2012/08/10/searchenginesjuly2012/)

So, I'd save your money and time on that one.

So sorry to report that it's not going to be that easy. Google isn't passing along that data, no matter what analytics program is used. Webtrends, etc. isn't going to give you this information either because Google is just not sending it; it's not that GA is suppressing it.