Prepare the STG for bytecode generation:

• Ensure that all breakpoints are directly under a let-binding, introducing a new binding for those that aren't already.
• Protect Not-necessarily lifted join points, see Note [Not-necessarily-lifted join points]