Computer-Aided Verification in Mechanism Design