You appear to be right. Only settings I could find would be either on the HALion player itself or on the Dorico Mixer, which are not the same thing. Such solo/mute buttons in Play would be a useful addition.
They were there originally, but they were removed because they did not work properly.