`gridsynth` is faster and has better gate counts compared to the Solovay-Kitaev plugin. We should enable this per default. This should be done early in the 2.4 dev cycle to test the impact.