Add a CAT test

While debugging chisel-torture's Flo output I've discovered some
oddness going on.  I've added the failing test here, but it appears to
work in flo-llvm...