Properly testing concurrent data structures