Native cycles criteria: unprovable block possibility

[RomanBrodetski]

[RomanBrodetski]

Perhaps the NATIVE limit const is too high?

[RomanBrodetski]

#592

[EmilLuta]

Duplicate of https://github.com/matter-labs/prover-subsystem-internal/issues/80

[Artemka374]

Did some investigation, there's a wrong(old) assert that limits amount of cycles to 2^32, while the constant is 2^35. Discussion can be found here

[Artemka374]

The fix is merged in zksync-airbender, need to propagate the change in other repos.

[EmilLuta]

Code is done, requires release & deployment. @EmilLuta to do it with his changes on multi app.bin.