Tips to make things faster
* You want to overclock as much as you device can handle. ICS requires more juice to run.
* Remove / Freeze system apps that you don't need, especially DSP Manager
* Install only apps that you need, don't bloat your system
* Consider using a swap partition / file if you got a fast sdcard. Swap will give more memory for the hungry ICS to consume
* Using Zram (Compcache) and KSM is also suggested as they will give you a tad more RAM for your apps. Note that they might also reduce battery life since they require CPU cycles.
* Trebuchet is beautiful but a bit on the laggy side yet. Consider installing another launcher from the market like Apex.
Don't report bugs if you are using thirdparty tools that claim to be boosting the performance (Supercharger, RAM Manager, etc.)
here are some apps, and if you can or not freeze/uninstall them :
http://wiki.cyanogenmod.com/wiki/Barebones
ofc, if you unistall apps you shouldn't, and can't boot, just flash the miniCM9 zip again
enjoy this build