Don't use reduce in checkodesol()

It isn't avaiable in Python 3
`from sympy.core.compatibility import reduce` might be safer; that set() seed value is needed if funcs = [] and apparently somebody thought that might be possible.