Return random number seed on test failure

Fixes TCHECK-12