Should smart groups be highlighted so users are aware they are smart and so avoid corrupting them?
That's a good suggestion. I've also heard the suggestion to provide an admin option to "lock" smart groups to prevent manual adding/removing of contacts.