This performs two random checks. Alternatively 30 random checks could be performed using `make smallcheck` and all checks by `make bigcheck`. But two random ones seemed good enough and didn't take nearly as long as the others.