Testing implementation of Navier-Stokes element by verifying tangent stiffness matrix. Test like this is an example of how to verify the implementation of Jacobian.