performance improvements

Point stores frame and index in a single int
State uses ints instead of BitSets
fixed Heuristic.countMills()