slight doc changes
renamed files, added tests for assert, and fixed a unit test