pub fn validate_slice( value: RadixAbiSliceV1, maximum: u32, alignment: usize, ) -> RadixAbiValidationResult