Exposing Errors Related to Weak Memory in GPU Applications