Fix the await statement in fast0
Put everything in tso into d_step
Add mfence to verify mutex