Bug fix to LLVM itself: raise rorw -> llvm.bswap in more flexible circumstances, in particular incorporating the ASM emitted by Dragonegg
Allow overruling a set SV with a path condition -- useful for e.g. {true, false} ~= Unknown conditions
Annotate dup2
Add support for a catch-all "this program is single-threaded" flag. Also forbid reading special files at specialisation time
Several fixes to failed path commit:

* Use constantexprs rather than instruction casts when possible (also in standard commit path)
* When using specialised values in failed code, rise into loops when appropriate
* In the same situation, insert casts at the definition site where necessary
* Fix the verbose-block-name flag
* Fix synthCommittedPointer operating on globals