Better error messages for assertions