qns

test(s2n-quic-core): use a smaller length in the Kani test (#2128) #4131

Job	Run time
env	3s
s2n-quic-qns (debug)	2m 3s
s2n-quic-qns (release)	7m 36s
bench	11m 10s
perf (s2n-quic, s2n-quic)	1m 31s
perf (s2n-quic-null, s2n-quic-null)	1m 1s
h3spec (s2n-tls)	13s
h3spec (rustls)	15s
interop (aioquic, s2n-quic)	16m 4s
attack (udp)	5m 38s
interop (chrome, s2n-quic)	3m 5s
interop (kwik, s2n-quic)	11m 16s
interop (lsquic, s2n-quic)	11m 25s
interop (mvfst, s2n-quic)	9m 4s
interop (neqo, s2n-quic)	12m 14s
interop (ngtcp2, s2n-quic)	12m 6s
interop (picoquic, s2n-quic)	12m 18s
interop (quic-go, s2n-quic)	10m 6s
interop (quiche, s2n-quic)	17m 10s
interop (quinn, s2n-quic)	10m 52s
interop (s2n-quic, aioquic)	11m 10s
interop (s2n-quic, haproxy)	9m 29s
interop (s2n-quic, kwik)	10m 44s
interop (s2n-quic, lsquic)	8m 58s
interop (s2n-quic, mvfst)	4m 45s
interop (s2n-quic, neqo)	11m 23s
interop (s2n-quic, nginx)	8m 47s
interop (s2n-quic, ngtcp2)	9m 41s
interop (s2n-quic, picoquic)	9m 42s
interop (s2n-quic, quic-go)	8m 26s
interop (s2n-quic, quiche)	9m 3s
interop (s2n-quic, quinn)	8m 42s
interop (s2n-quic, s2n-quic)	10m 2s
interop (s2n-quic, s2n-quic-rustls)	10m 14s
interop (s2n-quic, xquic)	3m 24s
interop (s2n-quic-rustls, s2n-quic)	9m 46s
interop (xquic, s2n-quic)	6m 45s
perf-report	10s
interop-report	13s
	5h 6m 34s

Provide feedback