Fix dumping of context clauses
Add static branch prediction hints for bounds checking
Add LLVM "nounwind" and "readonly" attributes to functions