rate-sick-check

Verify SICK certificates of proof incorrectness produced by rate