Upgraded ShadeNumbersOnTree so that you can turn off shading and just
have labels; other improvements to where labels are written, and whether
or not the terminal labels are shown.