I think the messages posted by a banned user should automatically be hided, like the ones from users you have put to the ignore-list. Or there should be an option in the ignore list itself to ignore posts from all banned users.