What is the best way to run HTTPS for drupal commerce
It's hard to say what's 'best', it depends what you mean by that.

If you're just looking for a working solution, the dev version of Secure Pages along with the core patches it recommends works great. 

Best thing you can do is install the various options you've identified, do your testing as normal, and ask a more specific question if the modules do something you don't expect.