MCMT: A Model Checker Modulo Theories