Te diría que no... Aunque no estoy al 100% seguro, mi mujer la lleva puesta y le va de fábula, actualizan semanalmente, pero ya no recuerdo si le instalé el Magisk o no. Ahora cuando llegue a casa se lo miro y te lo digo. De todas formas si vas a instalar esa, necesitas descargar e instalar las Opengapps ARM64 > 7.1 > Pico y flashearlas después de la RomPor lo que dices la AOSP, no lleva root luego?
Probaría esa primero, a ver si va, antes de darte lata con lo delicado zip.
Mañana domingo, como no meti nada en móvil aún, probaría para salir de dudas.
Muchas gracias