Run invariant check in replayer rather than in MCSFinder

This way, metadata is stored in config files (e.g. bug signature), more
information is stored in replayer.out, and it
makes it easy for people to replay and check at the end whether a bug occurs.