Checker: compress a little bit

It's overly extravagant to use tput. The fancy boldness and colouring
aren't worth the effort.