Fix random7 implementation to generate values 1-25 instead of 6-30