Serializing WSDLs verification.

For each chor, wsdls are concurrently checked,
but the group of WSDLs (of each chor) are checked in serie.
This change is because a bug that I was not able to solve,
in Experiment class, the program was not waiting for
WSDLs verifiers to finish.