[PATCH v4 17/17] iommufd: Add additional invariant assertions