add support for compile-time randomized theorem checking

[GoogleCodeExporter]

 - generalize the small prototype of tests/theorem.scm to allow proper use of second order logic 
 - librarize it 
 - make it usable by either
    + importing it and using sexps 
    + hacking the support to parser and enabling it everywhere
    + adding hackable metalevels somehow and put theorems and tests there along with documentation etc
 - start using the tests
 - add a way to control the testing 
    + run n times per load
    + $ ol --verify --rounds 1000 mod.scm 
    + $ ol --verify <- test internal modules, using tests stored in them (?)

Original issue reported on code.google.com by aohelin on 20 Apr 2012 at 3:44

[GoogleCodeExporter]

Original comment by aohelin on 9 May 2012 at 12:24

• Added labels: Type-Enhancement
• Removed labels: Type-Defect

[GoogleCodeExporter]

Can't wait to get to this, but more important stuff is to be done first...

Original comment by aohelin on 13 May 2012 at 5:10

• Changed state: Accepted