fn swap_all_dead(live: &BitVec, h_before: usize, depth: usize) -> bool
SWAP dead check: both TOS and the swapped position must be dead.