Clean up & integrate the randomSpecGenerator API's and the measuring tools that are in the time-measure branches.
Clean up & integrate the randomSpecGenerator API's and the measuring tools that are in the time-measure branches.