Fix for reload of comment formatting options not triggering a UI refresh.  Use reflection and echo property change notices for all public properties on internal options object.