[Sergh]

Cuando la rom se estabiliza, ART no funciona mal del todo, pero tampoco termina de ser la bomba.
No noto grandes diferencias. A veces las animaciones se muestran más suaves, y los cambios entre apps parecen más ligeros, pero no hay diferencias significativas, frente a un runtime más que trillado como es Dalvik.
Eso sí, con cada flaseo, con ART, te tienes que armar de paciencia hasta que inicia (optimizando apps). Se tira un buen rato.

En cuanto al kernel, yo llevo Fancy, con el que noto el sistema algo más fluído, y ofrece más opciones para jugar con TricksterMod que con el kernel de serie.
Otros usan MPOKANG, con buenos resultados también. Si no quieres complicarte, con el de serie estás hecho.