Finish braun tree insert complexity proof.

Could use some cleanup, but it works!