TEST: delete non-significant srand()
TEST: delete non-significant srand()

srand() was originally motivated because rand() was used in
tests/test_automaton.c, but it is not now.

slivingston/gr1c,slivingston/gr1c,slivingston/gr1c