assert system: prefer BREAK over ASSERT_FALSE, return expression result from VERIFY
Merge commit 'a8afb93'