Add unknown effect tracking for ambiguous execution completion.

[kquick]

Keep track of statistics for when an execution cannot be determined to have had an effect on bitcode creation. This helps to indicate when the bitcode output might be missing, but build-bom cannot be sure.