Yo acabo de conocer el proyecto.
No han sacado nada posterior a la 9.5.29, y tiene pinta de que lo dejan caer ya.
Por otro lado, en xiaomi.eu confirmaron antes del verano que aunque salgan versiones estables, ya no las soportarán tampoco, con lo cual me da que ya no hay más de donde rascar, si quieres mantenerte en Android 7.0 y ROM nativa.
Lo único que queda son los ports que se hacen desde la ROM de otros modelos, y ahí hay soporte para Android 9.0 (pero tienen sus problemas también, al ser ports).