Map Option to Alt instead of Alt Gr
It looks like Karabiner-Elements is what I'm looking for.

https://apple.stackexchange.com/a/281437/9422 has been quite helpful. So far, this mapping appears to do what I'd expect (unlike Apple's):