Other options I tried involved nudging the notes in Engrave mode, but that makes a mess of the accidentals. Perhaps there’s a better way of notating it? I basically want the arpeggio to end on the grace note and then quickly down to G#.
Or if you want really that look (which I think is less clear for the player), you can use a tuplet 9:8x (and hide it) for the upper voice (you need force duration to notate the half note inside the tuplet), and change the size of the A to Grace note in the Properties: