Torsion for smooth manifolds: the s-cobordism theorem