As reported by @yann300 , we currently check for no leading zeroes when validating authorization lists but we use validateNoLeadingZeroes which doesn't allow [0] since this function is primarily intended to check for leading zeros in RLP encoded bytestrings. The issue here is that RLP doesn't allow [0] since in RLP encoding, the value for 0 is represented as an empty array and so we don't allow arrays of greater than length 0 with the first element being 0.
We should adjust this section to use a different function for validateNoLeadingZero that allows for [0].