Added debug assertion framework