Random tests for STRING<=.