ReplaceAggregatesWithInts: Purge commented-out code that I unintentionally sneaked in.
ReplaceAggregatesWithInts: Value::use_iterator => Value::user_iterator.