The Power of Verification for Greedy Mechanism Design