Add CHECK tests for some of the code generated from simple-arith