As a user, I would prefer theme manager. That way, you can switch back to stock. Restoring a backup isn't the same. Then I have to boot up and restore any new/updated apps and restore important data. It's just not worth it so unless I think I'll stay with a theme until I have to update my ROM, I'm unlikely to flash a theme.