Hasta donde yo sé, creo que WSM tools es un módulo de xposed específico para MIUI.
Sin xposed, no tendrás WSM.
Acabo de instalar la última rom estable y tengo instalado el xposed también (de momento sólo funciona con las roms estables y las AOSP).
Mañana probaré a ver si funcionan las WSM tools.
Intelli3G y Greenify parece que funcionan correctamente.
Aquí tienes un poco más de info:
http://en.miui.com/thread-182209-1-1.html
http://en.miui.com/thread-78894-1-1.html