fn check_state_layout(state: &[u8]) -> Result<()>
Check the entire byte layout before any residual allocation. Wigner block sizes are determined by their degree labels, so sparse blocks retain their native shape.