qns

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

Job	Run time
env	25s
s2n-quic-qns (debug)	2m 23s
s2n-quic-qns (release)	7m 27s
bench	14m 41s
perf (s2n-quic, s2n-quic)	1m 26s
perf (s2n-quic-null, s2n-quic-null)	1m 10s
attack (udp)	5m 35s
h3spec (s2n-tls)	15s
h3spec (rustls)	17s
interop (aioquic, s2n-quic)	16m 2s
interop (chrome, s2n-quic)	3m 18s
interop (kwik, s2n-quic)	11m 0s
interop (lsquic, s2n-quic)	10m 22s
interop (mvfst, s2n-quic)	9m 8s
interop (neqo, s2n-quic)	12m 21s
interop (ngtcp2, s2n-quic)	12m 31s
interop (picoquic, s2n-quic)	13m 22s
interop (quic-go, s2n-quic)	10m 14s
interop (quiche, s2n-quic)	14m 54s
interop (quinn, s2n-quic)	10m 30s
interop (s2n-quic, aioquic)	11m 28s
interop (s2n-quic, haproxy)	9m 6s
interop (s2n-quic, kwik)	10m 4s
interop (s2n-quic, lsquic)	8m 57s
interop (s2n-quic, mvfst)	6m 4s
interop (s2n-quic, neqo)	11m 51s
interop (s2n-quic, nginx)	8m 57s
interop (s2n-quic, ngtcp2)	9m 35s
interop (s2n-quic, picoquic)	9m 16s
interop (s2n-quic, quic-go)	8m 38s
interop (s2n-quic, quiche)	8m 58s
interop (s2n-quic, quinn)	8m 47s
interop (s2n-quic, s2n-quic)	9m 56s
interop (s2n-quic, s2n-quic-rustls)	10m 8s
interop (s2n-quic, xquic)	3m 13s
interop (s2n-quic-rustls, s2n-quic)	11m 26s
interop (xquic, s2n-quic)	7m 6s
perf-report	10s
interop-report	16s
	5h 11m 17s

Provide feedback