[firedrake] Understanding solver parameters in NonlinearVariationalSolver