Fix worker count; parallelize sympy tests