Breaking the Formal Verification Bottleneck