There's a bug in the PeopleCode bytecode interpreter involving Break statements without a trailing semicolon in When branches. See the comment introduced by this commit for more details. This commit adds pause/syncing functionality to the tracefile verifier to rectify this issue as it pertains to tracefile verfication. The OPS interpreter does not interpret the raw bytecode and thus is not susceptible to this issue.