Reverted previous change so that tests with no assertions but INFO macros now warn again (but an explicit SUCCEED does not)