fix a bad range-based-for conversion

the iteration needs to start at .begin() + offset here
update for changes in dumpfile format
also handle shaolin/robustness