Some TerminatorKind are silently ignored

[RalfJung]

We should find better ways to translate these:

            // those are IGNORED currently.
            rs::TerminatorKind::Drop { target, .. } | rs::TerminatorKind::Assert { target, .. } =>
                Terminator::Goto(self.bb_name_map[&target]),