Fix wrongly marked revelations

Revelations are sometimes marked as skipped or backtracked, but they are actually still applied. This fix keeps the Applied tag for Reveal operations.

Fixes #338 (closed)