I've also been having some of issues (not seeing teensy port, sd card failure, etc) since updating to the latest Teensyduino and 1.8.9 Arduino IDE. I also had an unwanted Windows update (grr). What I've done for the missing port is go into Device Manager, View Hidden, then delete all the ports...