I think halting a default reply (version, etc) is not a violation, 'coz simply, Khaled coded mIRC with the "ability" to hide default replies

If he wanted, he could have easily programmed mIRC to "ignore" the /halt command if inserted within a VERSION ctcp smile