I recommend the mentioned aheadWorks module or the Amasty’s module because:
- They both have a good ecosystem of modules (modules from the same vendor are usually compatible with each other)
- Mirasvit modules contain much more bugs in my experience.
- The Magestore’s module is just unpopular: I have never seen it in my clients stores (and at the same time I saw 2 dozens of stores with the aheadWorks’s module and with the Amasty’s module).
If you have much time you can test all these 4 modules yourself: all these vendors provide a money-back guarantee.