Actually use fast-timed-prime-test