Expose ED_region_tag_refresh_ui to the Python API. This allows scripts to trigger regions to refresh which was previously only accessible indirectly (via wmOperatorType::check). Needed so scripts can make the splash screen refresh using a timer, see #120612.