Text this: Massive spectrum in F-theory and the distance conjecture