feat: add support for ABI validation

Author: boblat

docs/testing-guide/concepts.md

@@ -64,3 +64,8 @@ As explained in the [introduction](index.md), `algorand-typescript-testing` _inj
 3. **Mockable**: Not implemented, but can be mocked or patched. For example, `op.onlineStake` can be mocked to return specific values or behaviors; otherwise, it raises a `NotImplementedError`. This category covers cases where native or emulated implementation in a unit test context is impractical or overly complex.
 
 For a full list of all public `algorand-typescript` types and their corresponding implementation category, refer to the [Coverage](../coverage.md) section.
+
+## Data Validation
+
+Algorand TypeScript and the puya compiler have functionality to perform validation of transaction inputs via the `--validate-abi-args`, `--validate-abi-return` CLI arguments, `arc4.abimethod({validateEncoding: ...})` decorator, and `validateEncoding(...)` method.
+The Algorand TypeScript Testing library does _NOT_ implement this validation behaviour, as you should test invalid inputs using an integrated test against a real Algorand network.

src/impl/validate-encoding.ts

@@ -0,0 +1,2 @@
+/** @internal */
+export function validateEncoding<T>(_value: T) {}

src/internal/index.ts

@@ -13,6 +13,7 @@ export { Box, BoxMap, BoxRef, GlobalState, LocalState } from '../impl/state'
 export { TemplateVarImpl as TemplateVar } from '../impl/template-var'
 export { Txn } from '../impl/txn'
 export { urangeImpl as urange } from '../impl/urange'
+export { validateEncoding } from '../impl/validate-encoding'
 export { assert, err } from '../util'
 export * as arc4 from './arc4'
 export * as op from './op'

tests/artifacts/arc4-primitive-ops/contract.algo.ts

@@ -1,15 +1,16 @@
 import type { bytes } from '@algorandfoundation/algorand-typescript'
-import { arc4, BigUint, emit } from '@algorandfoundation/algorand-typescript'
+import { arc4, BigUint, emit, validateEncoding } from '@algorandfoundation/algorand-typescript'
 import type { Bool, UFixedNxM } from '@algorandfoundation/algorand-typescript/arc4'
 import { Byte, Contract, interpretAsArc4, Str, UintN } from '@algorandfoundation/algorand-typescript/arc4'
 
 export class Arc4PrimitiveOpsContract extends Contract {
-  @arc4.abimethod()
+  @arc4.abimethod({ validateEncoding: 'unsafe-disabled' })
   public verify_uintn_uintn_eq(a: bytes, b: bytes): boolean {
     const aBiguint = BigUint(a)
     const bBiguint = BigUint(b)
     const aUintN = new UintN<64>(aBiguint)
     const bUintN = new UintN<64>(bBiguint)
+    validateEncoding(aUintN)
     return aUintN === bUintN
   }
   @arc4.abimethod()