Clarify that the bypassSlowDivision optimization operates on a single BB [v2]