Expanded functionality of reveal mines on loss

Mines that were properly flagged are not revealed, and cells that were
flagged, but were not mines indicate that on loss.