Cleanup binary search in causal message logging