rand7 informal verification of randomness