sepcomp: do not colorize dead method by default

Thanks to the fix of #375, this optimization is the new default if RTA
is available.