Asserts condition is true, recording a violation with message when false. When message is omitted, a default message referencing element is used.