Refactor ct_assert file names into assert

[lorenzonodari]

To avoid undefined behaviour, instead of renaming the file to "assert.h", i renamed it "assertions.h".