Added basic ASSERT macros for debugging