Graph polynomials, principal pivoting, and maximum independent sets