Assessing the optimal virulence of malaria‐targeting mosquito pathogens: a mathematical study of engineered Metarhizium anisopliae