Quasi-compactness of Néron models, and an application to torsion points