Improve properties about marketIds

actually why do we need this? it doesn't seem to me that `marketParamsWithNoAllocationIsNotInMarketParamsList` will break if we don't have this. I would rather make a ghost expectedSupplyAssets, and see that if it's zero the market has been removed from the list _Originally posted by @MathisGD in https://github.com/morpho-org/vault-v2/pull/777#discussion_r2533381518_ --> It would be cleaner to hook on `allocate` and `deallocate` instead of `expectedSupplyAssets`