Whoops: when deadcode eliminates a load, it's supposed to assert that
the address is not bad, not that it is.
D'oh: don't simplify x == y into 0 == y.
Add a new mode which tries to find double-free bugs, and a test case
for it.
Merge github.com:sos22/SLI
Unbreak build of test programs.