Unify error variants of cross-safety

[Inphi]

Both the op-program and supervisor implement similar logic for checking message cross-safety. This creates a problem where the trigger to reorg a block that's resolved to be cross-unsafe depends on multiple error types.
This does not scale as any changes to the set of cross-safety error triggers can break the fault proof. It'll be ideal to have a common error type that categories these errors such that both the op-program and supervisor can reuse.