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.