Add checks for State memory layout #1159

Job	Run time
Clippy	22s
QEMU build & test (stable, ubuntu-latest, s390x-unknown-linux-gnu, s390x-linux-gnu-gcc)	28s
Build and test (stable, ubuntu-latest, x86_64-unknown-linux-gnu)	52s
cargo-c dynamic library	12s
QEMU build & test (stable, ubuntu-latest, i686-unknown-linux-gnu, i686-linux-gnu-gcc)	25s
Clippy (--no-default-features --features="c-allocator")	20s
Clippy (--no-default-features --features="rust-allocator")	2m 32s
Smoke-test fuzzing targets (default)	2m 34s
Smoke-test fuzzing targets (stable, macos-14, aarch64-apple-darwin)	2m 58s
Smoke-test fuzzing targets (c-allocator)	2m 30s
Build and test (msrv, ubuntu-latest, x86_64-unknown-linux-gnu)	1m 2s
vanilla dynamic library	16s
Smoke-test fuzzing targets (rust-allocator)	2m 35s
Build and test (beta, ubuntu-latest, x86_64-unknown-linux-gnu)	59s
Miri	1m 43s
Build and test (stable, macos-latest, x86_64-apple-darwin)	1m 4s
Build and test (stable, macos-14, aarch64-apple-darwin)	58s
run flate2 test suite	17s
wasm32	30s
Build and test (stable-x86_64-gnu, windows-2022, x86_64-pc-windows-gnu)	2m 38s
	25m 15s

Provide feedback