OK, but that is strange.
My comment was about spinning light mix spinners, for instance. Applying changes to the viewport could be slower due the data growth. But simple UI things like hovering buttons, spinner arrows, etc. should be still responsive (they somehow changes colors when the mouse cursor is over them). Switching tabs should be also instant. If it is slow for you, it is definitely wrong.
Could you better explain, perhaps on some particular example, what exactly is slow on your 4K display? Maybe you can record a screen capture?
And is it still slow if you let the system disable High-DPI awareness for CIE. To do it locate C:\Program Files\Corona\CoronaImage.exe, open its Properties via right-click, switch to Compatibility tab, check Override high DPI scaling behaviour, and select System (probably, try other options if it does not bring the following effect). That should disable High-DPI awareness and now when you start CIE, the system should rather upscale its standard non-High-DPI form (because the system does not respect that CIE is High-DPI aware). Is it still slow in this mode?