Implement basic block extraction for the miscompilation debugger. This still needs