I have used most of the items mentioned and then some:
Yaktrax - broke several pairs before giving up on them.
Stabilicers - work well but are heavy and don't fit well on some boots.
Instep Crampons - very solid if they fit your boot but have limited number of contact points which meant I had to be a little more thoughtful when walking on steeper trails.
Microspikes - I have been using these for a couple of seasons and they have worked really well and are fairly light. I have used them on heavy hiking boots, light hikers and trail runners and they worked well on all of them.