Disable appveyor branch and non-master builds.
Changes complicated backed properties with auto-properties.

Latest code contracts does the right thing with auto-properties.  Still sucks that it can't be marked as readonly.  :(