The Buffer Manager wasn't tied into the property-registry mechanism,
so it wouldn't notice when the page-cache size was changed.  This is
now hooked together with a property-observer interface.