The WH-1000XM3 are just about the only recommended bluetooth headphone anymore that makes switching devices that much of a pain. Most will either automatically switch between a few active devices or allow you to switch by just initiating the connection from the target device.

Have you looked at installing the patched pulseaudio-bluetooth modules to gain LDAC support? :)