property tests, some bugfixes, pgmock improvement