The non-hyperbolicity of irrational invariant curves for twist maps and all that follows