System for Automated Deduction (SAD): A Tool for Proof Verification