Bugfixes around checking vectorizability and around calculation of mostly-one-way branches.