Yeah, but KitKat is supposed to run on low-end devices. Call me disappointed, but I'm a happy camper with my Galaxy Nexus and will be looking at possibly rooting my phone in the near future with 4.4. But am really disappointed Google didn't support Galaxy Nexus with 4.4 since the phone still rocks! :(
Weird, the iPhone 4 test devices in my office on iOS 7 are sluggish to the point of unusable. I guess they get used in a different manner than a normal user since they are test devices, but still, I'm shocked to hear an iPhone 4 being called 'fast', even with iOS 6 - I would say extremely slow with 7.
The iPhone 5 runs great on iOS 7. Perhaps you're referring to the long animations for certain tasks, but those can be turned off.
The iPhone 5 runs very well on iOS 7. The iPhone 4S runs fine, but not quite as smooth. The iPhone 4 is a bit slow, and I highly recommend anyone with an older iOS device to turn off the animations and other effects. It makes for a smoother experience.