FARRAGO: Fix concurrency problems in PropertyTest.
FARRAGO: Fix concurrency problems in PropertyTest.

[git-p4: depot-paths = "//open/dt/dev/": change = 4647]

LucidDB/luciddb,LucidDB/luciddb,LucidDB/luciddb,LucidDB/luciddb,LucidDB/luciddb,LucidDB/luciddb,LucidDB/luciddb,LucidDB/luciddb,LucidDB/luciddb