Stau coannihilation, compressed spectrum, and SUSY discovery potential at the LHC