Faithful Flatness of Hopf Algebras