Statistics for Formal Verification of Instruction Dependencies in Microprocessors