Move the branch-hint generation from Nodes.py into Optimize.py to make it available to tree assertion tests (and add such a test).