Verifying specs run in isolation