In `xla::ShardingPropagation`, remove users and the parameters in the called computations in `already_inferred_from_operands` when clearing the cache.
In `xla::ShardingPropagation`, remove users and the parameters in the called computations in `already_inferred_from_operands` when clearing the cache.

Before this cl, shardings may not be completely propagated.
