Finally removed all global synchronisation

There were a few mistakes fixed, but I managed to get rid of all
global synchronisation. I used random numbers to construct (on the fly)
the ordering in representatives..

All of it is managed by fair semaphores, and fairness has been guaranteed