When generating random input for testing case, it would be nice to use `rayon` to parallelly run the generated cases. It would make testing time shorter.