SCORU: make ArithPVM tests deterministic

Follow up from here.

Using generate1 makes the test non-deterministic. Passing ~rand to qcheck_wrap or fixing CHECK_SEED doesn't help.

I would prefer if we could maintain reproducible results.