more workaround

Author: Rob23oba

src/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Lemmas/Expr.lean

@@ -157,7 +157,7 @@ theorem goCache_denote_mem_prefix (aig : AIG BVBit) (expr : BVExpr w) (assign :
   · intros
     apply (goCache aig expr cache).result.property
 
-set_option maxHeartbeats 400000
+set_option maxHeartbeats 2000000
 
 mutual