chore: align AVM witgen's limits on number of side effects with AVM simulator. Witgen supports phases and rollbacks.

chore: align AVM witgen's limits on number of side effects with AVM simulator. Witgen supports phases and rollbacks. #1800