Similar to NoSafepointVerifier the NoAsyncExceptionCheckVerifier can be used to ensure that a section of code cannot lead to a check for, and thus installation of, an async exception.