I am jealous. 10000 messages and it very often takes 5+ seconds to switch between smart mailboxes. Admittedly the smart mailbox filters I have set up are pretty crazy but still... It's not like email metadata changes. The results should be cached.