Add global mark index; use for cycle detection. Faster!
Use mark-indexed array in NeedMap, markBind memo. Remove printf. Faster!
Use sorted parallel lists in NeedMap. Faster, and less memory!
Guard profiling by flag. Default on.
flagify max loops