FWIW, I went to CyanogenMod, installing the 10.2 nightly on my VZW Galaxy Nexus. I'm liking it a lot. Among other things, I love that I've been able to slap Privacy Guard on all the apps that don't need the permissions they ask for (my logs are full of denied location requests from Facebook). Another unexpected bonus is that there are "color calibration" sliders. I've dropped the green levels a bit and now my phone matches the calibrated colors on my screen. Huzzah.

The only downside seems to be that HBOGo refuses to install on my phone.