We know a few things by now. One, Google uses deserts to denote its Android versions and it is going alphabetically through the alphabet through its delicious desert voyage. Ice Cream Sandwich would naturally be followed by something that begins with J. That would be Jellybean though Google wouldn’t confirm that. They did have a big glass enclosure full of Jellybeans at MWC as a tease however.
Moving on to K, you don’t have too many options. Doing a search for desserts that begin with K yields few usable results:
Key Lime Pie, Kustard, Koen, Kugel, KrumKake
Given the above, the Verge’s tipster isn’t going too far out on a limb saying the winner is “Key Lime Pie”.
Android names moved in points (Donut, Eclair, Froyo, Gingerbread) up until Honeycomb (3.0) and now Ice Cream Sandwich (4.0). Therefore Jellybean would likely be 5.0 and Key Lime Pie (6.0) if the current trend continues.