I have a Verizon Galaxy Nexus and I've used Bugless Beast. It's pretty much bone stock and I didn't have a single problem with it (i used it for about a month). I recommend it for stock Jellybean. (this was the first ROM I ever flashed)
I'm on AOKP JB build 1 now and it has many customization options, runs very smooth and has settings like CPU speed, themes, and such. Very cool. The only issue I've had with AOKP is that I don't see my instant upload pic folder in my gallery. I'm not even sure if this is a bug or not, but it's not a problem because I still see my instant uploads through my G+ app. I've been using this one for a couple of weeks now.
Both are solid and very stable ROMs. Hope this helps