Rename evalBasicBlock to runBasicBlock, mirroring StateT's pattern
Perform basic block splicing without first computing their length
Add an export list