Allow for divergence locations to be provided as input

[danmatichuk]

Currently divergence locations are chosen as the start of the block where a control flow divergence is found. We would like to have more precision in these points by allowing the user to specify exactly which instruction/address the control flow diverged at.