Add checks for State memory layout #1160

Job	Run time
cargo-c dynamic library	9s
Build and test (stable, ubuntu-latest, x86_64-unknown-linux-gnu)	57s
Clippy	12s
Build and test (msrv, ubuntu-latest, x86_64-unknown-linux-gnu)	1m 0s
QEMU build & test (stable, ubuntu-latest, s390x-unknown-linux-gnu, s390x-linux-gnu-gcc)	48s
Clippy (--no-default-features --features="c-allocator")	16s
Build and test (beta, ubuntu-latest, x86_64-unknown-linux-gnu)	58s
QEMU build & test (stable, ubuntu-latest, i686-unknown-linux-gnu, i686-linux-gnu-gcc)	34s
Clippy (--no-default-features --features="rust-allocator")	18s
Build and test (stable, macos-latest, x86_64-apple-darwin)	1m 20s
Smoke-test fuzzing targets (default)	2m 37s
Build and test (stable, macos-14, aarch64-apple-darwin)	57s
Smoke-test fuzzing targets (c-allocator)	2m 33s
Smoke-test fuzzing targets (stable, macos-14, aarch64-apple-darwin)	2m 35s
Build and test (stable-x86_64-gnu, windows-2022, x86_64-pc-windows-gnu)	2m 8s
Smoke-test fuzzing targets (rust-allocator)	2m 35s
vanilla dynamic library	13s
Miri	1m 59s
wasm32	38s
run flate2 test suite	29s
	23m 16s

Provide feedback