Speed up and simplify config file reloading

Changing the font size is slow because reloading the config file is slow right now.

It used to be necessary to individually set each 'leaf' value in the user's config, to trigger the right events. Now we don't need to do that; event listeners take care of checking for changes in the observed key paths.