Detects incompatible choices in settings menu, fixes to maintain
invariant