movePoints and moveSlice code simplified
intersectHypersurface may create witness sets with non-reg sequences now