I think all your contenders would be excellent. I listen to a lot of electronic (mostly Drum and Bass though), and had the chance to try the GR07 and SM3 V2 yesterday, and I'd place my IE80 in between them as follows; SM3 > IE80 > GR07. This is based only on quick first impressions though, take it with a grain of salt.
I was very impressed with the GR07, which sounded very clean and well-balanced with my DnB. The SM3s are amazingly good, although I'd need a longer audition to really decide what it is that makes them so much better than my much-loved IE80s.
if you like bass, the IE80s would do nicely (though I haven't heard the EX1000, FX700 or W3). Some say it's bloated, others not. I don't think it's bloated, but it's definitely got enough punch for satisfying EDM listening. Although I find generally that with electronic, soundstage matters less, the IE80s have a great soundstage too. I'd recommend them. Good luck!