miller_rabin passes all of my tests now! I suspect there are large numbers (100+ digits?) for which it will fail, just like before. The 'soltuion' was to simply boost the list of witnesses. No luck finding such numbers, though. Also fixed an issue where the makefile wasn't updating after changes.
Tidying up.