You're correct in noting that Windows does not properly respect proxy server changes on shutdown; this is a bug in Windows
which was introduced with IE10 and has not been fixed.
Instead of manually changing your proxy configuration after reboot, you can also just start Fiddler, which will notice the stale proxy settings and correct them.
Do you want to have your say when we set our development plans?
Do you want to know when a feature you care about is added or when a bug fixed?
Telerik Feedback Portal
and vote to affect the priority of the items