If you were happy with the K-7, I think you might be a little bit disappointed in the controls of the T4i. The Canon has a smaller viewfinder, no top deck status LCD, and only one control dial. In it's favor is the articulated rear LCD.
While the new K-5 II is expensive, the slightly older Nikon D7000 is $1000 factory refurbished with arguably the best kit lens, the Nikon 18-105mm. I'd choose it over the D5200.