> One glaring problem in the Golang space is the memory model doesn't offer Happens-Before guarantees.

It does: https://golang.org/ref/mem#tmp_2