Introduce additional probes for INVOKE opcodes

Introduce additional probes for INVOKE opcodes

As outlined on the mailing list, the additional probes provide better coverage results at the cost of higher runtime. I implemented the probes so that the exception paths are not counted as branches, so that the results do not indicate worse branch coverage than without these changes.

I volunteer to also update the documentation if this pull request is accepted otherwise.