Just tried Aviate. It runs better than I expected. I would go for CM12 rather than AOSP.
CM12 is an AOSP based rom.AOSP is a bit easier to use and understand in comparison to cm12.
Which rom will you guys recommend for Redmi1s. I am still on v45. Waiting for stable miui 6.