Move invalid store handling to an LLVM pass

[frabert]

Invalid stores like store i8 undef, i8* null are ignored at the code lifting level ( https://github.com/lifting-bits/rellic/blob/master/lib/AST/IRToASTVisitor.cpp#L735-L738 ) , but they should be removed by a preprocessing pass.