Add a 2-bit right-side CAT test

This version of the test is explicitly designed to verify that the CAT
bug is part of LLVM's optimizer.  This appears to be true.