I would guess that most of the folks who can afford 4K cameras, or who are getting paid to edit 4K projects, can also afford the hardware needed to run 4K smoothly.
If anything, I'd rather Adobe spent their time getting such formats to run even smoother than working on a Proxy feature.