Minor improvements to coverage plugin

[offlinemark]

• use preferred highlight api (the "auto" variant should only be used for analysis plugins) (http://api.binary.ninja/binaryninja.function-module.html#binaryninja.function.Function.set_auto_instr_highlight)
• check if user entered input