Implement trivial phi elimination
Update label numbers in test suite
Improve the SSA labelling documentation
Two more field comments
Clean up the trivial phi removal code a bit