Document the undefined behavior when a range truncate overlaps with inserts

At the moment if a range truncate is started over a range of keys, and in parallel another transaction inserts a key into that range, the behavior is not well defined - a conflict may be detected or both transactions may be permitted to commit. If they do commit, then there is a crash and recovery runs, the result may be different than what was in cache before the crash.