Tests

These are the various tests to validate erlog, they require QuickCheck Mini and SWI Prolog to run. 

We check some basic code vs SWI as a reality check, and a bunch of the testing is quickcheck