Watched robots semi-transparent

So can see what they are hovering over, etc.
Better handling of where watched robots go

When they don't know where a target element is or it isn't visible.
Better display of numbers

If the area wasn't wide enough and the number had an operator you only
saw the operator.
Boxes no longer change size

Due to the presence of an empty-hole element along with the hole
contents.

Also the size of elements after being taken out of a hole was not
consistently being restored.
Better dragging

Since it uses srcElement if it can.