“if necessary” exactly my point, Joseph.
Therefore, your comparison to murder is off. Being that Bes Din seems to see that there is no necessary need to enact any of the above. I.e. it will NOT help anyone or anything regarding Yehadus, hence there is no banishing in place. The ones that are out have their own society and the ones that are in are not effected.