Text this: Certified Qualitative Analysis of the SIR ODE and Reusable Scalar Lemmas in Isabelle/HOL