Ensure root function has the correct entry block
Add support for inserting "break blocks" on edges that lead from unspecialised to specialised code, and writing debug print instructions on those edges. With -int-verbose-path-conditions the emitted binary will then report how and why it left specialised code (or if it made it all the way through to exiting the root function).