Enhance documentation, format to PhET standards, and remove RAND generator used for porting