Faster Certified Symmetry Breaking Using Orders With Auxiliary Variables