Fix verbose setting
A bit ligther output for tracepoint inspection
Shorten line to less than 80 chars
Fix disabling post_mortem
Simplify some test methods

That type checking in check_output is not necessary