Check assert before the instruction that uses the assumption checked.

I did not find a good test case, as the assert should generally hold in Polly.

llvm-svn: 225582