If I were in your position, I would choose a variation of Option 4. Do a 2 year lease on a new 100D (with an option to extend the least by a year). This way, you will get to drive a brand new Tesla, not commit to it for the longer term, and wait for Tesla to iron out bugs in the Model S refresh (if that happens at all).
I'm assuming I'd have to do lease through a 3rd party? I'm not sure Tesla offers 2 year lease?