fix: StackOverflow caused by Debug recursive call

For the `VerifyFailure::ConstraintNotSatisfied` case we want to customly
impl the `Debug` call so that we can print the annotations within the
`VirtualCell`s.

If we hit any other case of `VerifyFailure` we basically send it to
print and be handled by (ideally Display).

The issue is that the call was forwarded to `Debug` impl again which
ended up in an infinite recursive call to the `Debug` method.
See: privacy-scaling-explorations#109 (comment)

This is solved by calling `Display` if we hit a case that is not
`ConstraintNotSatisfied`.

halo2_proofs/src/dev/failure.rs

@@ -291,7 +291,7 @@ impl<'a> Debug for VerifyFailure<'a> {
 
                 write!(f, "{:#?}", debug)
             }
-            _ => write!(f, "{:#?}", self),
+            _ => write!(f, "{}", self),
         }
     }
 }