Make verbose-path-conditions flag work with invoke instructions.
Fix verbose-pc printing on exception catch.