Since we moved to `bigint`, we can now do runtime error checking on out of range values.  Since everything is ABI encoded as 32-bytes, this means we can sometimes get lucky and fail fast when decoding using the wrong ABI.