Verifying Properties of Tsetlin Machines