No doubt about your choices. Gecko drives and other 2 are outstanding drivers. But they are pretty expensive too for their output.
I would recommend Linistepper, Inexpensive and if you ask about the performance am using it from past 4 years and not even a single problem. They can be operated in multiple mode of your choice full step, half step and even micro stepping upto 3600 steps i guess.
linistepper stepper has Open source and as well they sell the complete 4 Axis kit for an pretty much affordable price. You can build one for yourself using the open source materials if you electronics and soldering knowledge. I have built mine myself and didn't find a single glitch.
Here's the link you can check out your self
PIC Linear Stepper Motor Controller