Removed locks from Galois simulations.

They are not needed, because threads are not used anymore.