It'd be nice to assert that CE->getOpcode() is actually BitCast as we expect.