Currently isRevertedWith simply returns bool as to whether a tx is reverted with "example message". But when the error message is not the expected message the actual error message may be be human unreadable error macro number.
We need to add the feature that isRevertedWith will make such an unexpected failure human readable if it is from an error macro.