Fix potential infinite loop / reanalysing loops pointlessly due to dodgy loop bypass predicate
Keep values alive if they're needed as a literal argument to a vararg function
Support committing assumed loops (the branch to the header becomes a branch-to-unreachable)