Make the hl_verbose setting default True in ST3