flush method of Int2IntRBT not clearing cache of lastNodeGotten

The Int2IntRBT (a map from int to int) has a variable which remembers the last node gotten, and attempts to optimize lookups for common cases. When a flush() happens, this needs to be reset.