De-cruft CLEAN-UP-PACK-STRUCTURES. Empty bit vectors are not a problem.

And FINITE-SB-ALWAYS-LIVE-COUNT was just plain wrong - it's not
a vector of vectors, but didn't matter. Proper semantics resulted from
resetting elsewhere; this one was supposed to smash pointers for GC.