Mechanism Design with Inspection