Fix to previous: don't mark blocks certain when their entry point is not certain.
Document another couple of pthreads functions
Usability improvement: add a UI column and special instruction colouring to highlight write-through-unknown instructions that constitute barriers
Add support for path conditions with offset, and storing integer types to memory.
Add support for equality and inequality comparison on multi-values

Dragonegg synths such a comparsion for stdio is-FD-fake test: rather than load i32 fd, cmp fd -1, we get load i64 fd-and-flags, and fd-and-flags 0xffffffff00000000, cmp fd-and-flags 0xffffffff00000000