Add Tree.move_cursor, and ensure Tree.select_node selects the node
#7739
| Job | Run time |
|---|---|
| 39s | |
| 37s | |
| 54s | |
| 53s | |
| 53s | |
| 44s | |
| 42s | |
| 41s | |
| 46s | |
| 48s | |
| 54s | |
| 54s | |
| 47s | |
| 53s | |
| 40s | |
| 11m 45s |