Sounds like Envato is a good marketplace to be in. The GPL hasn't been much of an obstacle to selling themes and plugins. I'd like to know more about how that works.
As long as the themes and plugins are GPL-licensed, it should be fine by the community is my understanding. Selling, by itself, was never an issue.
Wordpress.org itself showcases some of these commercial themes: http://wordpress.org/extend/themes/commercial/
ThemeForest actually uses a split license, wherein the templates within the theme are GPL, but the CSS, images, or non-WordPress dependent things in the theme are "protected" under a different license.
GPL has essentially turned into a non-issue for commercial WordPress entities that have gone that route. This doesn't mean they don't get copied and stolen, because it happens all the time - just like non GPL products. But the business models are well beyond selling a template and forgetting about it. Support, updates, reputation, code quality, and other factors are a driving force as to why someone would buy a theme from the actual provider rather than a "legally" ripped version for a fraction of the price.
Themes get stolen and copied all over the place. I often have a hard time advising clients to not do that just because it is available. Most of the redistributed versions often contain hidden links and other security issues.
For that and all the points you have mentioned, the price of these themes are nothing compared to the service a good theme developer provides you.