Te recomiendo probar LOS. Aunque no tengo el mismo terminal, voy con un Mi5 que va a cumplir cuatro años (espero), con la misma ROM que comentas basada en Android 9.0. La verdad es que si no fuera por eso, el móvil iría bastante peor y en breve saldrá la nueva versión oficial basada en Android 10.
No pierdes nada, es bastante sencillo si sigues bien los pasos. Prueba y comprueba si así solucionas el tema del lag.
Ya dirás!