Add "RANDOM" as match criterium for skipping output check on examples.

The initial motivation is for shuffle(), which has different output
depending on the random number generator in use by the platform.