static void assertFail_verbose(Runnable r) {
  try {
    r.run();
  } catch e {
    print(getInnerException(silentException(e)));
    ret;
  }
  fail("No exception thrown!");
}