Oh and until then you can increase the text speed or even disable the battle message box which sorta speeds up the battle as well, if you haven't tried that yet :)
I have implemented a battle speed slider in the settings. It'll come with the next patch!
