Mechanisms with Verification for Any Finite Domain