From Genome-Based In Silico Predictions to Ex Vivo Verification of Leprosy Diagnosis