Added checks for assert and assert-not failures.
Added implementation for assert-not-equal.