[Monitor] Double-check well-formedness of protocols for Brave New World bugs by running them through interpreter

[ngernest]

Some of them don't end with step as Nikil pointed out in #180 here, so I should double check them by running them through the interpreter