invmod edge cases, add tests
is_pseudoprime / is_strong_pseudoprime