Use newest available sympy version for testing