Astrophysical constraints on the mass of heavy stable neutral leptons