Hi,
The Leonardo has a clock speed of 16 MHz, this is the same as the Arduino Uno, Nano etc. Using the Accelstepper stepper library with these chips you are limited to about 4000 pulses per second. So, if you need 51200 steps to make one full revolution, it will take about 12.8 seconds. Your maximum rotation speed will be about 4.7 rpm.
If you do want to use 256 micro stepping the only way I know to get a faster speed is to use a microcontroller with a higher clock speed. I have used Teensy 3.2 boards with a clock rate of 90 MHz very successfully but even this would only give you about 26 rpm.
Hope that helps,
Regards, Hugh