add rigorous random testing