Verify pre/post conditions for every test