looks like optimizations are enabled by default. so with that said... yes. ive gotten proguard to work with optimizations enabled.
the app I used in my test was just the basic template from
kmp.jetbrains.com, but if you scroll up... since March 18th, there were like 8 questions revovling proguard (half from me lol). if you scroll even more before that you can see some examples that people posted of working examples. namely one from Romain
https://github.com/romainguy/kotlin-explorer