1. Si, l'ultima versione di Global Developer disponibile
2. Se non hai particolari bug con la developer puoi rimanere sul ramo developer senza problemi, io sono su questo ramo da quando l'ho comprato (più di 2 anni fa).
3. No, nessuna MIUI 9 su base Nougat ufficiale. Su XDA mi pare di aver visto qualche porting ma niente di ufficiale. Ci sono però custom ROM su base Oreo anche (ma senza interfaccia MIUI).