Implement CSE
Regardless of whether we use pure SSA with psi-SSA for predication or if we use WLR (write lock read) for dealing with predication, we need some form of common sub-expression elimination. Ideally, we'd like to be able to CSE texture headers and other bits of messages. This may be somewhat related to #22.