Running the splicing tests from Diff.hs. Due to the TH requirement, this code must be in a separate module.