Optimal assignment mechanisms with imperfect verification