What does it take to use FEniCS to solve high Reynolds number Navier-Stokes equations? I am using a Taylor-Hood element. The Newton solver converges only if Re is smaller than several hundreds. What are simple ways I can adopt if I want to solve a problem with Re > 20,000? Add a stabilization term?