Core/Debugging: Extended ASSERT macro to allow passing additional formatted string