Add rigorous claim-by-claim Lion convergence reproduction evidence

Update logbook: Repro - Convergence Analysis of the Lion Optimizer