Added infrastructure for testing CHECK failures.