Add `assert` builtin