Randomized Differential Testing as a Prelude to Formal Verification