Separated checking a solution from building one up; path is augmented all at once, not built up first and then iterated; minor speedup for powers of 2 iterator, fixes in same file... tests suggest bit vector approach may be viable way to track coverings (presumably separate approaches based on bit operator support), on the thinking it would keep memory coherent