assert with printf message formatting