fixed bug in IntervalList.cover; Added optional protection from duplicate probe points in Minesweeper alg