Fast, correct and sequential Miller-Rabin
Add basic testing code