Add reverse properies compaction tests

This addresses #221.