[webkit-dev] ASSERT vs. RELEASE_ASSERT