Update: as of 1.3.3.1, while the .current class is not added, now that the WordPress classes are being applied to menu items, we can use the .current-menu-item class to style menu items more generally, so effectively, there is a working solution for this.