Allocate arrays as SMTLib arrays
Add option to check for all possible errors
Allow more pointer comparisons

If pointers are compared using < or >, assume that it is a test for non-equality
Add support for constant compares
Use LLVM linker to combine modules
Add support for empty globals
Make more memory operations work