Improved assertion mechanism, now prints statement that failed