Partial refresh of menu in customizer not working?

WordPress 4.5 supposedly enables live refresh of the menu in the customizer, though I cannot get it to work.

If I reorder the menu (in customizer) I see no changes until I perform a manual refresh. However, if I click the Menu Locations checkbox to disable the menu, and again to re-enable, the screen does refresh. Though doing that saves the menu – which is not ideal. Or is that the intended functionality?

Clicking save and publish does not trigger a refresh either. Since other changes in customizer are shown in real time, this seems inconsistent.

Has anyone gotten this to work?

Selective refresh is only for the items that are selected to cause auto refresh in customizer as explained here:

Selective Refresh in the Customizer

and here:

Implementing Selective Refresh Support for Widgets

So if the theme developer haven’t included this support then you might not see it refresh automatically on save and publish of menu items.