Remove dead registers

Add an optimization which removes dead registers (and narrows registers too). We already have the necessary analysis in proc_state_optimization which removes state elements which are no observable. Same thing could be done for registers. This would be done on Blocks where Registers, RegisterRead, and RegisterWrite constructs would be removed.