Static race detection

Naive data race detector for Go based on stateful AST traversal with pre-defined structural operational semantic rules