Variable SIMULATION_VERIFICATION_GAS_LIMITConst

SIMULATION_VERIFICATION_GAS_LIMIT: 3000000n = 3_000_000n