code: def validate_empty_bytes(offset: int, length: int, bytecode: bytes) -> None:
      
      slot_length = offset + length
      slot = bytecode[offset:slot_length]
      if slot != bytearray(length):
          raise ValidationError(
              f"Bytecode segment: [{offset}:{slot_length}] is not comprised of empty bytes, "
              f"rather: {slot}."
          )
docs: Validates that segment [`offset`:`offset`+`length`] of
      `bytecode` is comprised of empty bytes (b'\00').