Asserts that all member properties in selected classes satisfy the assertions specified in the block.