Set ->prev correctly during phi insertion.
Add :pure annotations to side-effect-free ops.

These are ones we know we can safely delete if they are unused.