solvers: Split test_diophantine.py tests and mark one as @slow

This was slowing tests incredibly. Now it takes 5 seconds (instead of 50 seconds) on my computer.