add model, showcigar and exhaustive options to exonerate wrapper