Updated the project name from smt-assert to smt-asserts.