Goblin Translator concatenated polynomials parallel construction optimization

[Rumata888]

Goblin Translator construction of concatenated polynomials right now uses at most 4 cores (1 concatenated polynomial per core). We can use more if we want to by splitting the polynomials themselves and copying chunks in parallel instead.

Extra range constraint numerator suffers from the same issue

[Rumata888]

The construction of concatenated polynomials now uses more cores.