Add a file invariant check

The invariant will trigger a violation once it detect that the file
exists. Replayer will delete the file at the beginning of each replay.