evolve: use nodemod.short() instead of nodemod.hex()[:12]

8 jobs for topic/default/short-node in 7 minutes and 3 seconds (queued for 2 seconds)
Status Name Job ID Coverage
  Test
passed checks-py2 #169891

00:03:45

passed checks-py3 #169892

00:01:25

passed doc #169897

00:00:41

manual pytype #169890
allowed to fail manual
passed tests-py2-cext #169893

00:07:03

passed tests-py2-pure #169894

00:03:57

passed tests-py3-cext #169895

00:07:00

passed tests-py3-pure #169896

00:02:14