Add ASSERT macro.
Update tests + cosmetic changes.
Remove temporary file.