Ok I just installed 3.0 with v2.5 ics and it seems kinda laggy, I didn't really test 4.0 itself without the theme but the transitions are choppy, and messy, it also seems to lag randomly. Let me know if you have the same results, hopefully it's not related to the new battery script.
Edit- It's 3.0, I swapped the kernel for stock el29 repack and now it's running faster then hell.
It was posted in calks thread by some users that the included kernel caused lag. Most tried a different kernel and it seemed to fix it. I noticed lag to and flashed rouges stock el29 and it seems much better
Sent from my SPH-D710 using XDA