If it really is trev that's causing the issue, then yea you're better off using a different launcher (even the stock ICS one) as B4's treb is missing a lot of features in the most recent version of treb.
Where can I get the latest version of trebuchet(with support of themes)? I've found v0.6 and works alright with our rom but still missing a lot of features.