[Experimental] Fix false "Branch target not immediately after branch" invariant when branching crosses chunks.

Created by: lihasgupta

** This is not ready for review, it is an experimental branch. **