Improve constant-expression wording for assert based on Richards earlier suggestions regarding addressof