Parenthesized 8va's?

I was able to get around this situation with a custom playing technique I created, but just checking - at the moment there is no native infrastructure to parenthesize an 8va marking to make it optional, correct?

Correct.

MusGlyphs. You don’t get correct playback, of course.