[firedrake] Question about the efficiency of the Navier-Stokes solver in the Firedrake