To demostrate scalability of libabac and to get a rough 
performance data, 2 types of scaling test are designed.

   haytack is the noise injection test 
   daisychain is the long chaining proof test

     runcheck

   will run several sets of setup/query that are of different
sizes.

     gettime 

   will extract timing information from each set. (very basic)