Changed the cleanup algorithm used in the KahaDB.. It should now be much faster. Fixed bug in the BTreeNode.visit() which was making us load most of the pages instead of letting us filter down to just a few.