[firedrake] nullspace within nonlinearvariationalsolver?