I haven't tried editing those, but I have done 2.5k RAW, on a workstation that doesn't belong to me.
As you have demonstrated with the scale of your souped-up computer, the hardware setup for a decent editing station is within reach of consumers. And quad-core? Please, you are using consumer-grade hardware so I don't think you should be surprised when it lags.
Also, you said your hardware experiences "little lag".
FullHD ProRes 50FPS with little lag on consumer-grade hardware? That's a very good achievement already.
I don't know exactly how much juice is needed for 4K, but as far as computing power goes, it will be exponentially better than what we have today. Even 2 or 3 years down the road, I believe then we can have consumer-grade hardware that can edit 4K.