fix: ensure uintN types are the correct width in tuples

Author: joe-p

examples/reti/artifacts/ValidatorRegistry.approval.teal

@@ -1,5 +1,5 @@
 #pragma version 10
-intcblock 0 1 8 24 32 18 268 6 242 3 2 10 252 260 700 100000 900 40 200 TMPL_nfdRegistryAppId 4 72 192 244 1000000 4096 5 226 300 432 892 1000 28500 50000 11 80 145 153 209
+intcblock 0 1 8 24 32 18 268 6 242 3 2 10 252 260 700 100000 900 40 200 TMPL_nfdRegistryAppId 4 72 192 244 1000000 4096 5 16 226 300 432 892 1000 28500 50000 11 80 145 153 209
 bytecblock 0x76 0x 0x151f7c75 0x737073 0x7374616b6564 0x00 0x706f6f6c54656d706c617465417070726f76616c4279746573 0x6e756d5374616b657273 0x0a8101 0x692e6f776e65722e61 0x0000000000000000 0x696e6974 0x6e756d56 0x69735f76616c69645f6e66645f6170706964 0x63f3f28b
 
 // This TEAL was generated by TEALScript v0.107.0
@@ -242,7 +242,7 @@ getMbrAmounts:
 	callsub costForBoxStorage
 	itob
 	intc 9 // 3
-	intc 34 // 11
+	intc 35 // 11
 	intc 0 // 0
 	dupn 2
 	intc 9 // 3
@@ -487,7 +487,7 @@ getPools:
 	// examples/reti/validatorRegistry.algo.ts:319
 	// poolSet = clone(this.validatorList(validatorId).value.pools)
 	intc 6 //  headOffset
-	intc 29 // 432
+	intc 30 // 432
 	bytec 0 //  "v"
 	frame_dig -1 // validatorId: ValidatorIdType
 	itob
@@ -1464,7 +1464,7 @@ changeValidatorSunsetInfo:
 
 	// examples/reti/validatorRegistry.algo.ts:499
 	// this.validatorList(validatorId).value.config.sunsettingOn = sunsettingOn
-	intc 27 // 226
+	intc 28 // 226
 	frame_dig -2 // sunsettingOn: uint64
 	itob
 	bytec 0 //  "v"
@@ -1747,7 +1747,7 @@ changeValidatorRewardInfo:
 
 	// examples/reti/validatorRegistry.algo.ts:561
 	// this.validatorList(validatorId).value.config.entryGatingType = EntryGatingType
-	intc 35 // 80
+	intc 36 // 80
 	frame_dig -2 // EntryGatingType: uint8
 	itob
 	extract 7 1
@@ -1782,7 +1782,7 @@ changeValidatorRewardInfo:
 
 	// examples/reti/validatorRegistry.algo.ts:564
 	// this.validatorList(validatorId).value.config.gatingAssetMinBalance = GatingAssetMinBalance
-	intc 36 // 145
+	intc 37 // 145
 	frame_dig -5 // GatingAssetMinBalance: uint64
 	itob
 	bytec 0 //  "v"
@@ -2014,7 +2014,7 @@ addPool:
 
 	// examples/reti/validatorRegistry.algo.ts:606
 	// globalNumUint: StakingPool.schema.global.numUint
-	intc 34 // 11
+	intc 35 // 11
 	itxn_field GlobalNumUint
 
 	// examples/reti/validatorRegistry.algo.ts:607
@@ -2047,7 +2047,7 @@ addPool:
 	frame_dig 0 // numPools: uint64
 	itob
 	itxn_field ApplicationArgs
-	intc 38 // 209
+	intc 39 // 209
 	intc 2 // 8
 	bytec 0 //  "v"
 	frame_dig -2 // validatorId: ValidatorIdType
@@ -2071,6 +2071,13 @@ addPool:
 	intc 8 // 242
 	frame_dig 0 // numPools: uint64
 	itob
+	dup
+	bitlen
+	intc 27 // 16
+	<=
+
+	// this.validatorList(validatorId).value.state.numPools overflowed 16 bits
+	assert
 	extract 6 2
 	bytec 0 //  "v"
 	frame_dig -2 // validatorId: ValidatorIdType
@@ -2193,7 +2200,7 @@ addStake:
 	// *if8_condition
 	// examples/reti/validatorRegistry.algo.ts:648
 	// this.validatorList(validatorId).value.config.sunsettingOn > 0
-	intc 27 // 226
+	intc 28 // 226
 	intc 2 // 8
 	bytec 0 //  "v"
 	frame_dig -2 // validatorId: ValidatorIdType
@@ -2212,7 +2219,7 @@ addStake:
 	//         this.validatorList(validatorId).value.config.sunsettingOn < globals.latestTimestamp,
 	//         "can't stake with a validator that is past its sunsetting time"
 	//       )
-	intc 27 // 226
+	intc 28 // 226
 	intc 2 // 8
 	bytec 0 //  "v"
 	frame_dig -2 // validatorId: ValidatorIdType
@@ -2505,7 +2512,7 @@ setTokenPayoutRatio:
 
 	// examples/reti/validatorRegistry.algo.ts:745
 	// lastPayoutUpdate = this.validatorList(validatorId).value.tokenPayoutRatio.updatedForPayout
-	intc 30 // 892
+	intc 31 // 892
 	intc 2 // 8
 	bytec 0 //  "v"
 	frame_dig -1 // validatorId: ValidatorIdType
@@ -2604,7 +2611,7 @@ setTokenPayoutRatio:
 *if12_end:
 	// examples/reti/validatorRegistry.algo.ts:758
 	// this.validatorList(validatorId).value.tokenPayoutRatio.updatedForPayout = curRound
-	intc 30 // 892
+	intc 31 // 892
 	frame_dig 1 // curRound: uint64
 	itob
 	bytec 0 //  "v"
@@ -2970,7 +2977,7 @@ stakeRemoved:
 	// examples/reti/validatorRegistry.algo.ts:836
 	// globals.opcodeBudget < 300
 	global OpcodeBudget
-	intc 28 // 300
+	intc 29 // 300
 	<
 	bz *if15_end
 
@@ -3105,7 +3112,7 @@ stakeRemoved:
 	// *if16_consequent
 	// examples/reti/validatorRegistry.algo.ts:851
 	// rewardTokenID = this.validatorList(poolKey.id).value.config.rewardTokenId
-	intc 37 // 153
+	intc 38 // 153
 	intc 2 // 8
 	bytec 0 //  "v"
 	frame_dig -1 // poolKey: ValidatorPoolKey
@@ -3280,6 +3287,13 @@ stakeRemoved:
 	intc 1 // 1
 	-
 	itob
+	dup
+	bitlen
+	intc 27 // 16
+	<=
+
+	// this.validatorList(poolKey.id).value.pools[poolKey.poolId - 1].totalStakers overflowed 16 bits
+	assert
 	extract 6 2
 	bytec 0 //  "v"
 	frame_dig -1 // poolKey: ValidatorPoolKey
@@ -3499,7 +3513,7 @@ findPoolForStaker:
 	// examples/reti/validatorRegistry.algo.ts:946
 	// globals.opcodeBudget < 300
 	global OpcodeBudget
-	intc 28 // 300
+	intc 29 // 300
 	<
 	bz *if22_end
 
@@ -3643,7 +3657,7 @@ findPoolForStaker:
 	//       'must stake at least the minimum for this pool'
 	//     )
 	frame_dig -3 // amountToStake: uint64
-	intc 38 // 209
+	intc 39 // 209
 	intc 2 // 8
 	bytec 0 //  "v"
 	frame_dig -1 // validatorId: ValidatorIdType
@@ -3660,7 +3674,7 @@ findPoolForStaker:
 	// examples/reti/validatorRegistry.algo.ts:973
 	// pools = clone(this.validatorList(validatorId).value.pools)
 	intc 6 //  headOffset
-	intc 29 // 432
+	intc 30 // 432
 	bytec 0 //  "v"
 	frame_dig -1 // validatorId: ValidatorIdType
 	itob
@@ -4091,7 +4105,7 @@ emptyTokenRewards:
 
 	// examples/reti/validatorRegistry.algo.ts:1047
 	// rewardTokenId = this.validatorList(validatorId).value.config.rewardTokenId
-	intc 37 // 153
+	intc 38 // 153
 	intc 2 // 8
 	bytec 0 //  "v"
 	frame_dig -1 // validatorId: ValidatorIdType
@@ -4791,6 +4805,13 @@ callPoolAddStake:
 	+
 	frame_dig 1 // poolNumStakers: uint64
 	itob
+	dup
+	bitlen
+	intc 27 // 16
+	<=
+
+	// this.validatorList(poolKey.id).value.pools[poolKey.poolId - 1].totalStakers overflowed 16 bits
+	assert
 	extract 6 2
 	bytec 0 //  "v"
 	frame_dig -2 // poolKey: ValidatorPoolKey
@@ -5392,7 +5413,7 @@ doesStakerMeetGating:
 
 	// examples/reti/validatorRegistry.algo.ts:1365
 	// type = this.validatorList(validatorId).value.config.entryGatingType
-	intc 35 // 80
+	intc 36 // 80
 	intc 1 // 1
 	bytec 0 //  "v"
 	frame_dig -1 // validatorId: ValidatorIdType
@@ -5470,7 +5491,7 @@ doesStakerMeetGating:
 
 	// examples/reti/validatorRegistry.algo.ts:1379
 	// balRequired = this.validatorList(validatorId).value.config.gatingAssetMinBalance
-	intc 36 // 145
+	intc 37 // 145
 	intc 2 // 8
 	bytec 0 //  "v"
 	frame_dig -1 // validatorId: ValidatorIdType
@@ -5923,7 +5944,7 @@ algoSaturationLevel:
 	pushint 100
 	mulw
 	intc 0 // 0
-	intc 31 // 1000
+	intc 32 // 1000
 	divmodw
 	pop
 	pop
@@ -5958,7 +5979,7 @@ maxAllowedStake:
 	pushint 150
 	mulw
 	intc 0 // 0
-	intc 31 // 1000
+	intc 32 // 1000
 	divmodw
 	pop
 	pop
@@ -6035,7 +6056,7 @@ minBalanceForAccount:
 	// minBal += localInts * SSC_VALUE_UINT
 	frame_dig 0 // minBal: uint64
 	frame_dig -4 // localInts: uint64
-	intc 32 // 28500
+	intc 33 // 28500
 	*
 	+
 	frame_bury 0 // minBal: uint64
@@ -6044,7 +6065,7 @@ minBalanceForAccount:
 	// minBal += globalInts * SSC_VALUE_UINT
 	frame_dig 0 // minBal: uint64
 	frame_dig -6 // globalInts: uint64
-	intc 32 // 28500
+	intc 33 // 28500
 	*
 	+
 	frame_bury 0 // minBal: uint64
@@ -6053,7 +6074,7 @@ minBalanceForAccount:
 	// minBal += localBytes * SSC_VALUE_BYTES
 	frame_dig 0 // minBal: uint64
 	frame_dig -5 // localBytes: uint64
-	intc 33 // 50000
+	intc 34 // 50000
 	*
 	+
 	frame_bury 0 // minBal: uint64
@@ -6062,7 +6083,7 @@ minBalanceForAccount:
 	// minBal += globalBytes * SSC_VALUE_BYTES
 	frame_dig 0 // minBal: uint64
 	frame_dig -7 // globalBytes: uint64
-	intc 33 // 50000
+	intc 34 // 50000
 	*
 	+
 	frame_bury 0 // minBal: uint64