Register storage specification is deprecated
Fixing LLVM build, adding address sanitization
Base data type for Clause must be uint64_t because double requires alignment

This was caught by the clang address sanitizer
Fixing bug that occurred only if base elem type was larger than 4B

The counting was wrong in this case -- off-by-one
One more part when DIV is not enough, MOD is needed for mem alloc
This assert should be reversed

Smaller than LIT is not good for base alloc type. Not the other way
around.
Adding more options to LLVM
Removing useless spaces
OOops, this was an overflow later when 2*var_Undef was used
Fixing up LLVM compile flags
Nice catch by LLVM -- these actually wrapped around
A uint32_t is enough to hold this
Adding more santization options for LLVM
Adding a new class, CNF, that will be used to help doing unit tests

It will also help to clean the code
Moving some of the clause structs over to CNF
Declare temp vars where where they are needed, not in the class
Moving implication cache to CNF
This bug was really bad. Found by Martin Maurer

nVars() should NOT be exposed at all. This bug was possible because of
the really bad public interface of Solver. That needs to be completely
wrapped.

Fixes #99