airbender: deadlocks on heavy blocks #253
Description
Looks like Airbender blocks on some heavy blocks:
CPU and GPUs are idle for a long time already.
Not sure worth digging into internals to know what is going on, but probably a similar workaround as done in Zisk would be useful, so a hard timeout can be set.
Maybe it is worth generalizing the ZISK_PROVE_TIMEOUT_SEC to ERE_PROVE_TIMEOUT_SEC so applies to any zkVM.