Add "no_check" to example testing to skip difficult examples.

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