Property test specs and add coverage

Also make tests run in parallel
Merge pull request #2 from puzza007/property-testing

Property test specs and add coverage