More parallel

[JayXon]

During deep DFS, some task could take significantly longer than others, so we ends up waiting for one thread to finish.

This commit attempt to address this by breaking up finding binary expressions for length 1 variables into smaller parallel tasks.