Consider using phi nodes instead of pointers to represent mutable variables

[bettinaheim]

Right now, we use a pointer to store and load the current value for variables in QIR when they are declared as mutable in Q#. I believe we should be able to make this proper SSA by using phi nodes instead. We should properly consider that.