[utreexo-4] Fix wrong interpretations, add translation and annotations

[zzxiang]

之前对DeleteOne()描述中的left/right理解错了。