Even half of complexity proof
Finish braun tree insert complexity proof.

Could use some cleanup, but it works!