Major change: changed abolish_all_tables so that it reclaims space for incremental tabling
data structures -- it hadn't been doing this before (much). This uncovered some other bugs. I fixed
those in the test suite, but there may be some others around.