ir: Add AssertStatement.
parser: Parse AssertStatements.