Update the default Prolog loader options for XSB to include `-verbo`, `+canonical`