test instance priority bump

[sgouezel]

---

[sgouezel]

!bench

[leanprover-bot]

Here are the benchmark results for commit d9ab6ee.
There were significant changes against commit 963467a:

  Benchmark                                                Metric         Change
  ==============================================================================
+ ~Mathlib.Algebra.Lie.Killing                             instructions    -8.3%
- ~Mathlib.Algebra.Module.PID                              instructions     5.9%
- ~Mathlib.AlgebraicGeometry.Morphisms.RingHomProperties   instructions     9.0%
+ ~Mathlib.Analysis.Calculus.ContDiff.Basic                instructions    -4.1%
+ ~Mathlib.CategoryTheory.Abelian.InjectiveResolution      instructions    -5.5%
+ ~Mathlib.Geometry.Manifold.Instances.Sphere              instructions    -5.1%