Property test specs and add coverage

Also make tests run in parallel