Describir: Optimal assignment mechanisms with imperfect verification