If true, verify ScalarEvolution after each transformation that uses it.
Declared in <llvm/Analysis/ScalarEvolution.h>
<llvm/Analysis/ScalarEvolution.h>
extern bool VerifySCEV;