Provable Benefit of Curriculum in Transformer Tree-Reasoning Post-Training