Variable renaming should be optional and more conservative

1. Variables that have been renamed by the user should not be renamed automatically.
2. Variable renaming should be optional, based on a setting (via the Settings API).
3. There should be a setting that allows the user to force renaming of variables (basically, (1) above should be overridable).