Revisiting Differential Verification: Equivalence Verification with Confidence