have a verification mode in place where the output of an execution is verified for correctness (this is going to be particulrly useful when we do RME experiments)

[manathan1984]