Asymptotic Analysis and Identifiability Checks in Numerical Optimization Models for Epidemic Spread in South Africa | Synapse