Who Goes First Detecting Go Concurrency Bugs via Message Reordering