Update binarysearchPRO to OpenDSA formatting, many minor changes for algorithm analysis