More efficient signal’ing — settingsChanged(…) event now is a list of keys so settings changes can be batched.

More robust and efficient comparison of previous/new settings.