python: add FFT multiplication and Miller-Rabin primality snippets