MPI proxy simulating worst-case one-sided communication patterns for unit tests
dynamic correctness debugging for MPI one-sided communication