Checker tests for the code sinking optimization pass.