Several fixes to CFG generation, plus several more sample files
Minor updates for properly creating basic blocks