Application of the Flag-State Squashing Model to Numerical Quantum Key Distribution Security Analysis